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

        public void testDoesNotKnow()
        {
            KnowledgeBase kb = new KnowledgeBase();
            kb.tell("A");

            Assert.IsFalse(kb.askWithDpll("B"));
            Assert.IsFalse(kb.askWithDpll("(NOT B)"));
        }
    }