1TODO
2====
3
4In the next release:
5
6  * a xor not a => true.
7  * a eq not a => false.
8
9  * Implement minimization (Quine-McCluskey, ESPRESSO).
10
11  * Add higher orders / mixed case to logic_diff.
12
13  * Check binding powers. Now Maxima can't parse
14      "y eq not z nand t nor not x or not t"
15
16  * Merge logic_simp with the basic Maxima simplifier (?)
17