public void testDPLLSucceedsWithAandNotA() { Sentence sentence = (Sentence)parser.parse("(A AND (NOT A))"); bool satisfiable = dpll.dpllSatisfiable(sentence); Assert.AreEqual(false, satisfiable); }