IsEqual IsMonotonicFunction IsParityFunction IsPositiveFunction And BDD ToAndOr MaxValue OneComplement TwoComplement binary ToPOS ExcitationTable long() minterm Nand One PermutationMatrix To2LayerNand Save CreateCompactTableWithFullSimplification To2layerOrAnd Simplification MultiCover string() GetDontCareLogicFunction CreateDummyLogicFunction SemanticEval ShrinkLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.