MatchLogicFunction IsBiUnateFunction IsBlankFunction IsOneFunction IsSymmetricFunction And MinValue GrayCode PureBinary DigitalSystem Eq ExcitationTable long object Or OrAnd To2LayerAndXor SAT Solve GetExcitationTable Implementation FullTable BestVariableOrder Fast SimpleInner GetNegativeLogicFunction Utility CreateDummyLogicFunction XORP Zero