Analysis IsParityFunction IsSelfAntiDualFunction IsSelfDualFunction IsThresholdFunction IsUnateFunction binary() PureBinary bool() ToOrAnd AddXorTerm ToVariableInvertedFunction Email FeedbackDiagram Get Load PositiveIntegerToMantissa POS To2LayerNand SAT ToStateTransitionTable CreateCompactTableWithFullSimplification Implementation HuffmanMealy BestVariableOrder Shannon string() GetNegativeLogicFunction CreateDummyLogicFunction Zero