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