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

        public void testDPLLSucceedsWithChadCarffsBugReport2()
        {
            KnowledgeBase kb = new KnowledgeBase();
            kb.tell("(B10 <=> (P11 OR (P20 OR P00)))");
            kb.tell("(B01 <=> (P00 OR (P02 OR P11)))");
            kb.tell("(B21 <=> (P20 OR (P22 OR (P31 OR P11))))");
            kb.tell("(B12 <=> (P11 OR (P13 OR (P22 OR P02))))");
            kb.tell("(NOT B21)");
            kb.tell("(NOT B12)");
            kb.tell("(B10)");
            kb.tell("(B01)");
            Assert.IsTrue(kb.askWithDpll("(P00)"));
            Assert.IsFalse(kb.askWithDpll("(NOT P00)"));
        }