IsBiUnateFunction IsBiUnateFunctionTo IsCovering IsInverse IsLinearFunction ToAndOr StringToBinaryNumber ToROBDD ToShannonTree ToTruthTable ToXORP Email Count LogicScript real To2LayerNor To2LayerOrAnd ToFeedbackSystem FullTable BestVariableOrder Full SimpleInner StateTransition CreateFromLogicFunctions ComputeDONTCARE SemanticEval ShrinkLogicFunction var() Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.