Utility.Normalization
Back to table
/*
Logic-Function-Analysis
Utility.Normalization
[LogicFunction() bases]=Utility.Normalization(LogicFunction F1, ...)
Compute the exclusive bases of a list of logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsOneFunction BDD List ToBinary bool Convert ToAndXor ToPOS ToXORP Diagram Email FeedbackDiagram Count Nand MantissaToPositiveNumber PositiveNumberToMantissa POS SOP ToFullAnd ShortestInputsForTransition StateTransitionBasedly FullTable HuffmanMealy SimpleCover StateDeviceName StateTransition GetPositiveLogicFunction ComputeFunctionOrder var Zero