share/logic/TODO

   1 TODO
   2 ====
   3
   4 In 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 (?)