public void SimpleDeMorgan()
{
// ! (q ∧ r) ----> !q ∨ !r
var T = CNFify.Term.NewNot(CNFify.Term.NewAnd(q, r));
var result = CNFify.normalize(T);
var expected = CNFify.Term.NewOr(CNFify.Term.NewNot(q), CNFify.Term.NewNot(r));
Assert.AreEqual(expected, result);
}