Analysis IsBlankFunction And AbsoluteExpression ToBinary BCD OneComplement StringToBinaryNumber ToAndXor ToDiagram ToDualFunction Diagram DigitalSystem Dimacs Imply minterm() PositiveNumberToMantissa RadixToIndex To2LayerNor To2LayerNand Assign Backwardly CreateCompactTableWithFullSimplification Simplification Fast SimpleCover RandomGenerate CreateDummyLogicFunction Substitute Zero