User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503/@comment-37485018-20200107133354

I must have misunderstood your original comment, thanks.

But I still have 1 question: how do I define normal forms? Is "normal form" a function that puts an expression in normal form (e.g. \(NormalForm(\omega^2+\omega^3)=\omega^3+\omega^2\)? Is it something else?