Utility.IndependentBase
Back to table
/*
Logic-Function-Analysis
Utility.IndependentBase
[LogicFunction() bases]=Utility.IndependentBase(LogicFunction F1, ...)
Break down the space by the defined logic function, into the smallest and indenpendant sub-spaces(logic functions).
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsSymmetricFunction IsThresholdFunction ToAndOr MinValue BinaryNumberToString TwoComplement binaryioset() ToNotFunction ToShannonTree Eq minterm NumberSystem LeastSignificantDigit PositiveNumberToMantissa One Or real() To2LayerOrAnd To2LayerAndOr Solve ToStateTransitionTable ToDigitalSystem ROBDD Full Utility CreateDummyLogicFunction Normalization XORP Zero