AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.DPLLTest.testDPLLSucceedsWithAandNotA C# (CSharp) Метод

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