2 Nov
2007
2 Nov
'07
3:24 a.m.
It's much much easier to work with n-ary than binary. It's also easier to define disjunctive normal form by mutual recursion with conjunctive normal form. Jules