IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsParityFunction BDD Binary List BCDEx3 BinaryNumberToString OneComplement TwoComplement binaryioset AddXorTerm ToNotFunction ToShannonTree Imply list() long() minterm() Not RadixToIndex SAT MaxSAT Solve AutoAssignInputAndStateVariables InputVariables OutputAndStateBasedly Canonical Full SimpleInner Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.