var
Back to table
/*
BasicType
var
[var f]=function(var g);
A logic-variable symbol
*/
//-------------------------------------------------------------------
// 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