On 2013-07-05, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> As part of my project on Boolean simplification, I propose to make the
> canonical ordering of (not x) work like the canonical ordering of box, so
> that the terms x and not(x) will appear in the same place when the
> expression is canonicalized.
OK by me.
best
Robert Dodier