IsBiUnateFunctionTo IsLinearFunction IsMonotonicFunction IsNegativeUnateFunctionTo ToBinary binaryioset bool() ToDiagram ToTruthTable Equiv list() logicvardef long LeastSignificantDigit MantissaToPositiveInteger POS To2LayerOrAnd SOP To2LayerAndXor ToFullAnd Save Assign AutoAssignInputAndStateVariables ShannonTree Canonical string CreateFromLogicFunctions RandomGenerate var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.