IsPositiveUnateFunctionTo IsUnateFunctionTo List NineComplement AddXorTerm ToSOP Equiv list() Load LogicScript Radixes RadixToIndex object() PermutationMatrix real To2LayerNor To2LayerOrAnd SAT StateTransitionBasedly CreateCompactTable CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder GetDontCareLogicFunction Utility ComputeFunctionOrder CreateDummyLogicFunction SemanticEval XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.