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

        public void testNewAIMAExample()
        {
            kb.tell("(NOT P11)");
            kb.tell("(B11 <=> (P12 OR P21))");
            kb.tell("(B21 <=> ((P11 OR P22) OR P31))");
            kb.tell("(NOT B11)");
            kb.tell("(B21)");

            Assert.AreEqual(true, kb.askWithTTEntails("NOT P12"));
            Assert.AreEqual(false, kb.askWithTTEntails("P22"));
        }