1 Nov
2007
1 Nov
'07
5:54 p.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