IsInverse IsMonotonicFunction IsUnateFunctionTo AndXor MaxValue StringToBinaryNumber binaryioset DiagramGateName ExcitationTable FeedbackDiagram list() logicvardef() minterm() PositiveDecimalToMantissa object One Solve Simplification ShannonTree FastVerificationData DontCare Shannon TruthTable GetDontCareLogicFunction ComputeDONTCARE Normalization ShannonExpansion var Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.