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.