IsNegativeUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BDD ToAndOr binary bool ToOrAnd ToNotFunction ToShannonTree ToSOP ToTruthTable ToXORP FeedbackSystem Nand PositiveDecimalToMantissa Or To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries OutputAndStateBasedly Balanced StateDeviceName GetNegativeLogicFunction Utility ShannonExpansion Zero