PermuteLogicFunction IsNegativeUnateFunctionTo IsParityFunction BCD BCDEx3 BinaryNumberToString binaryioset bool() ToAndXor ToDiagram ToShannonTree ToSOP DiagramGateName DigitalSystem Equiv FeedbackSystem logicvardef() logicvardef long MantissaToPositiveInteger MantissaToPositiveNumber POS To2LayerNand Assign AutoAssignInputAndStateVariables To2layerOrAnd Canonical MultiCover var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.