Advanced IsBiUnateFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction And AndOr BDD PureBinary binaryioset() bool() Convert ToVariableInvertedFunction minterm() MantissaToPositiveNumber object real To2LayerNor Save Forwardly GetExcitationTable Compatibility ROBDD Canonical Full Shannon CreateFromLogicFunctions Utility SemanticEval var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.