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