MatchLogicFunction PermuteLogicFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunctionTo BDD AbsoluteExpression BCDEx3 NineComplement StringToBinaryNumber binaryioset() binaryioset ToNotFunction FeedbackSystem Get logicvardef() Not NumberSystem Radixes To2LayerOrAnd Simplification ShannonTree Canonical MultiCover Shannon StateTransition string XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.