Feature request: Synthesize the exact ternary formulas

Adam-Vandervorst / PyBHV

Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).

GNU General Public License v3.0

17 stars 5 forks source link

Feature request: Synthesize the exact ternary formulas #14

Open Adam-Vandervorst opened 10 months ago

Adam-Vandervorst commented 10 months ago

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 commented 10 months ago

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