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
IsBiUnateFunctionTo IsBlankFunction IsEqual IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression AddXorTerm ToROBDD ToVariableInvertedFunction FeedbackSystem Imply logicvardef() MantissaToPositiveInteger RadixFromIndex To2LayerOrAnd SAT AutoAssignInputAndStateVariables Simplification Compatibility HuffmanMealy Full StateTransition TruthTable SemanticEval ShannonExpansion Zero