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

        public void testSentenceStatusWhenPFalseAndQTrue()
        {
            String p = "P";
            String q = "Q";
            m = m.extend(new Symbol(p), false);
            m = m.extend(new Symbol(q), true);
            Assert.AreEqual(true, m.isFalse(andSentence));
            Assert.AreEqual(true, m.isTrue(orSentence));
            Assert.AreEqual(true, m.isTrue(impliedSentence));
            Assert.AreEqual(true, m.isFalse(biConditionalSentence));
        }