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
MatchLogicFunction IsBiUnateFunctionTo IsInverse IsNegativeUnateFunctionTo IsZeroFunction BDD binary() binary binaryioset ToVariableInvertedFunction Diagram Dimacs logicvardef minterm() Minus Nor RadixToIndex One MaxSAT ShortestInputsForDistinguishTwoStates GetExcitationTable To2layerOrAnd Fast ROBDD DontCare string() Normalization ShrinkLogicFunction var() Zero