var()
Back to table
/*
BasicType
var()
[var() f]=function(var() g);
A list of logic-variable symbols
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction ToAndOr FromBinary BinaryNumberToString binaryioset() ToNotFunction Dimacs Get Load Nor Radixes real SOP OutputAndStateBasedly ToFeedbackSystem ToStateTransitionTable CreateCompactTableWithFullSimplification Implementation To2layerOrAnd Simplification FullTable Fast Full Shannon StateTransition var() Zero