PermuteLogicFunction Analysis IsBiUnateFunctionTo IsEqual IsInverse TwoComplement ToOrAnd ToROBDD ToVariableInvertedFunction list() LogicScript logicvardef minterm() PositiveDecimalToMantissa object() One OrAnd ToFullAnd SAT Save AutoAssignInputAndStateVariables ShannonTree Canonical SimpleCover StateDeviceName RandomGenerate AdjustLogicVariableCount Substitute Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.