Analysis IsCovering IsInverse IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BinaryNumberToString TwoComplement ToDualFunction ToShannonTree Load minterm() Nand MostSignificantDigit PositiveNumberToMantissa Radixes MaxSAT Assign Simplification FullTable HuffmanMealy Full TruthTable CreateFromLogicFunctions GetNegativeLogicFunction AdjustLogicVariableCount ShrinkLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.