MatchLogicFunction IsBlankFunction IsInverse IsUnateFunction AndXor BDD binary() ToBinary binaryioset() ToROBDD Diagram ExcitationTable Count Load long Nor Not MantissaToPositiveDecimal MostSignificantDigit PositiveIntegerToMantissa Or PermutationMatrix SAT MaxSAT Implementation ToDigitalSystem BestVariableOrder TimingChart GetSubTable Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.