logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsCovering IsOneFunction IsSelfDualFunction IsThresholdFunction MaxValue ToBinary Convert ToDualFunction Email Equiv logicvardef() LeastSignificantDigit MostSignificantDigit RadixFromIndex To2LayerNor To2LayerOrAnd To2LayerAndOr Save StateVariables OutputAndStateBasedly StateTransitionBasedly MultiCover Shannon TimingChart IndependentBase ShrinkLogicFunction Substitute var Zero