MatchLogicFunction IsCovering AndOr binaryioset AddXorTerm ToSOP FeedbackSystem Get minterm Not NumberSystem object() One PermutationMatrix Print To2LayerNor To2LayerOrAnd MaxSAT ShortestInputsForTransition Balanced StateDeviceName string() GetSubTable Utility ComputeDONTCARE SemanticEval ShannonExpansion var Xor Zero