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
IsNegativeUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BDD ToAndOr binary bool ToOrAnd ToNotFunction ToShannonTree ToSOP ToTruthTable ToXORP FeedbackSystem Nand PositiveDecimalToMantissa Or To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries OutputAndStateBasedly Balanced StateDeviceName GetNegativeLogicFunction Utility ShannonExpansion Zero