var
Back to table
/*
BasicType
var
[var f]=function(var g);
A logic-variable symbol
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsMonotonicFunction IsPositiveFunction IsSelfAntiDualFunction AndXor Binary GrayCode PureBinary ToDiagram ToTruthTable Diagram Dimacs Email long() Radixes RadixFromIndex Or Save ShortestInputsForDistinguishTwoStates Implementation Balanced GetPositiveLogicFunction GetSubTable RandomGenerate Utility ComputeFunctionOrder Normalization Substitute XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.