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