User blog comment:Ubersketch/CNF comparison algorithm/@comment-35470197-20190817230831/@comment-34422464-20190818123611

I've tested every CNF expression according to this algorithm, it works. The only cases that break are stuff like w^0+w^1<w^1+w^1 but those aren't standard.