IsMonotonicFunction IsParityFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsThresholdFunction BDD BCDEx3 NineComplement OneComplement TwoComplement ToOrAnd ToNotFunction ToVariableInvertedFunction Get Nand Nor Not NumberSystem LeastSignificantDigit PermutationMatrix Print TransitionSeries AutoAssignInputAndStateVariables ShannonTree DontCare MultiCover StateTransition string() CreateDummyLogicFunction Zero