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

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