Feature request: Synthesize the exact ternary formulas

[Adam-Vandervorst]

All the best XOR/AND/OR formulas for three-argument boolean functions are known; let's use these in synthesis.
Specifically for the cellular automata example, this now shows a rather ugly expression with select (or ITE), which can be elided.

[ethol]

useful source: http://atlas.wolfram.com/01/01/views/172/TableView.html