But you can also redesign immediately the generated PHP circuits using five additional logical grammars: Not-And-Or Only, Nand Only, Nor Only, Mux System, and Reed-Muller System. These grammars can be used to automatically generate Not-And-Or Only, Nand Only, Nor Only, Mux Only, and Not-And-Xor circuits.

To translate your logical circuits into PHP, on the GeneXproTools modeling environment, select the Model Panel, and then select both PHP and the Logical System you are interested in (Not-And-Or Only, Nand Only, Nor Only, Mux System, and Reed-Muller System) on the Language list boxes.

Obviously, GeneXproTools allows you to use exclusively the gates you are interested in as your building blocks and then use the All Gates PHP grammar to generate your logic circuits. The advantage of this approach is that you will almost certainly end up with much more parsimonious circuits.