Analysis IsEqual IsSymmetricFunctionTo IsThresholdFunction IsUnateFunctionTo And FromBinary MinValue BCD GrayCode OneComplement binaryioset() binaryioset Diagram DigitalSystem Dimacs Load long minterm PositiveDecimalToMantissa One POS real() MaxSAT CreateCompactTableWithFullSimplification SimpleCover Utility ComputeDONTCARE var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.