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

        public void testAIMAExample()
        {
            KnowledgeBase kb = new KnowledgeBase();
            kb.tell(" (P => Q)");
            kb.tell("((L AND M) => P)");
            kb.tell("((B AND L) => M)");
            kb.tell("( (A AND P) => L)");
            kb.tell("((A AND B) => L)");
            kb.tell("(A)");
            kb.tell("(B)");

            Assert.AreEqual(true, plfce.plfcEntails(kb, "Q"));
        }
    }