logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsMonotonicFunction IsNegativeUnateFunctionTo NineComplement OneComplement TwoComplement binary binaryioset AddXorTerm ToTruthTable ToVariableInvertedFunction ToXORP Diagram Eq Count minterm MantissaToPositiveDecimal To2LayerAndOr StateTransitionBasedly ToStateTransitionTable GetExcitationTable ShannonTree DontCare Full string() GetPositiveLogicFunction ComputeFunctionOrder IndependentBase SemanticEval var Zero