PermuteLogicFunction IsOneFunction IsPositiveUnateFunctionTo IsUnateFunction FromBinary List binaryioset ToOrAnd ToROBDD ExcitationTable Count LogicScript logicvardef() Not NumberSystem MantissaToPositiveNumber PositiveDecimalToMantissa object One Realization ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables CreateCompactTableWithFullSimplification Simplification ShannonTree Balanced GetPositiveLogicFunction SemanticEval Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.