logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsPositiveUnateFunctionTo Binary AbsoluteExpression Convert ToDiagram Count long LeastSignificantDigit MantissaToPositiveDecimal PositiveDecimalToMantissa object() Or To2LayerNor ShortestInputsForTransition TransitionSeries Assign InputVariables StateVariables ToStateTransitionTable Implementation To2layerOrAnd Balanced Fast string() TruthTable GetSubTable IndependentBase var Zero