Advanced MatchLogicFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunctionTo IsThresholdFunction List ToBinary NineComplement ToAndXor Imply logicvardef() minterm() Nor PositiveIntegerToMantissa To2LayerNor SAT ShortestInputsForDistinguishTwoStates TransitionSeries StateTransitionBasedly ToStateTransitionTable CreateCompactTable Implementation FullTable DontCare MultiCover StateTransition AdjustLogicVariableCount SemanticEval Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.