public void TrueExample2()
{
Disjunction disj = new Disjunction(new Negation(B), C);
Conjunction conj = new Conjunction(A, disj, new Negation(C));
Disjunction outerDisj = new Disjunction(conj, D);
Assert.True(outerDisj.Is_NNF());
}
public void TrueExample3()
{
Disjunction disj = new Disjunction(A, new Negation(B));
Assert.True(disj.Is_NNF());
}