IsBlankFunction IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD AbsoluteExpression BCD BCDEx3 PureBinary TwoComplement ToTruthTable DigitalSystem Imply LogicScript Nand NumberSystem MostSignificantDigit Or POS SOP Solve Assign CreateCompactTable SimpleCover GetSubTable CreateDummyLogicFunction Zero