30. The computer-readable storage medium having the computer readable program embodied therein for directing operation of the computer system including the processor and at least one input device as recited in claim 21 , wherein: the computer-readable program further includes instructions for receiving commands from the at least one input device; and manipulating the plurality of syntactic expressions to form the third representation of the digital circuit design is performed in accordance with the commands.
21. A computer-readable e storage medium having a computer-readable program embodied therein for directing operation of a computer system including a processor and at least one input device, wherein the computer-readable program includes instructions for operating the computer system for optimizing a digital circuit design in accordance with the following: receiving a first representation of the digital circuit design from the at least one input device; translating the first representation of the digital circuit design to a second representation of the digital circuit design, the second representation comprising a plurality of syntactic expressions that admit a representation of a higher-order function of base Boolean values; and executing and syntactically manipulating the plurality of syntactic expressions to form a third representation of the digital circuit design, wherein manipulating step comprises reducing a number of nodes within the syntactic expressions.