But you can also redesign immediately the generated C 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 C, on the GeneXproTools modeling environment, select the Model Panel, and then select both C 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 C grammar to generate your logic circuits. The advantage of this approach is that you will almost certainly end up with much more parsimonious circuits.