MatchLogicFunction IsBlankFunction IsCovering IsInverse IsMonotonicFunction IsUnateFunction binary() List PureBinary binaryioset() ToDiagram ToNotFunction ToSOP FeedbackDiagram list() Count Get long() Or SOP To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates ToDigitalSystem HuffmanMealy ROBDD string() CreateDummyLogicFunction XORP Zero