Advanced IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndOr BCD binary binaryioset AddXorTerm Diagram DigitalSystem Dimacs ExcitationTable logicvardef() long() minterm() minterm PositiveIntegerToMantissa ShortestInputsForDistinguishTwoStates ToStateTransitionTable To2layerOrAnd BestVariableOrder Full SimpleCover SimpleInner GetDontCareLogicFunction SemanticEval ShannonExpansion var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.