MatchLogicFunction IsThresholdFunction ToBinary PureBinary bool ToVariableInvertedFunction Diagram Load LogicScript minterm Minus NumberSystem MantissaToPositiveInteger MostSignificantDigit Radixes RadixFromIndex Or SOP Solve Sequential Backwardly ToFeedbackSystem Compatibility ShannonTree StateTransition string() TruthTable GetPositiveLogicFunction ComputeDONTCARE Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.