PermuteLogicFunction Analysis IsBiUnateFunction IsCovering IsMonotonicFunction IsOneFunction IsParityFunction IsSelfAntiDualFunction IsSymmetricFunctionTo BDD List NineComplement PureBinary DigitalSystem ExcitationTable FeedbackSystem long() Nor Not MantissaToPositiveDecimal To2LayerNand To2layerOrAnd Full MultiCover Shannon GetSubTable ComputeFunctionOrder CreateDummyLogicFunction XORP Zero