IsBiUnateFunctionTo IsEqual IsNegativeUnateFunctionTo IsOneFunction IsParityFunction IsZeroFunction binary() BCD OneComplement binaryioset ToDualFunction ToShannonTree DigitalSystem Dimacs Eq Equiv ExcitationTable logicvardef() minterm Minus MantissaToPositiveNumber One Save Backwardly To2layerOrAnd HuffmanMealy Balanced FastVerificationData TimingChart Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.