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

        public void testComplexSentence()
        {
            String p = "P";
            String q = "Q";
            m = m.extend(new Symbol(p), true);
            m = m.extend(new Symbol(q), false);
            Sentence sent = (Sentence)parser.parse("((P OR Q) AND  (P => Q))");
            Assert.IsFalse(m.isTrue(sent));
            Assert.IsTrue(m.isFalse(sent));
            Sentence sent2 = (Sentence)parser.parse("((P OR Q) AND  (Q))");
            Assert.IsFalse(m.isTrue(sent2));
            Assert.IsTrue(m.isFalse(sent2));
        }
    }