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
IsBlankFunction IsPositiveFunction IsSelfDualFunction IsUnateFunctionTo BCD BCDEx3 binaryioset bool() Dimacs Imply minterm MantissaToPositiveNumber Radixes RadixToIndex object() object PermutationMatrix SAT Sequential BestVariableOrder MultiCover SimpleCover TruthTable CreateFromLogicFunctions ComputeFunctionOrder EnlargeLogicFunction IndependentBase ShrinkLogicFunction Xor Zero