MatchLogicFunction IsBlankFunction AndOr ToAndOr AbsoluteExpression PureBinary ToDiagram ToNotFunction ToROBDD Dimacs Email MantissaToPositiveDecimal PermutationMatrix real() To2LayerNor SOP ShortestInputsForDistinguishTwoStates ShortestInputsForTransition AutoAssignInputAndStateVariables StateTransitionBasedly CreateCompactTable GetExcitationTable Implementation Fast Canonical GetNegativeLogicFunction SemanticEval ShannonExpansion XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.