Fix a bug in negation_normal_form().

Also, compare operators explicitly so we can raise an error when we encounter
an unexpected one.
Add conjunctive_normal_form() and list_conjuncts().
Remove test code.
Correctness tests for normal forms.