Analysis IsCovering IsParityFunction IsSymmetricFunction MinValue bool Convert AddXorTerm ToNotFunction ToPOS FeedbackSystem long() minterm() Minus Nand MostSignificantDigit Radixes Print To2LayerOrAnd MaxSAT Solve Assign ToStateTransitionTable CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder Canonical ShrinkLogicFunction var Zero