def test_biconditional(self):
expression = "A <=> B"
parser = PLParser()
root_term = parser.parse(expression)
m = Model()
m = m.extend("A", True).extend("B", True)
self.assertTrue(m.is_true(root_term))
m.clear()
m = m.extend("A", True).extend("B", False)
self.assertFalse(m.is_true(root_term))
m.clear()
m = m.extend("A", False).extend("B", True)
self.assertFalse(m.is_true(root_term))
m.clear()
m = m.extend("A", False).extend("B", False)
self.assertTrue(m.is_true(root_term))
m.clear()
def test_biconditional(self):
expression = "A <=> B"
parser = PLParser()
root_term = parser.parse(expression)
m = Model()
m = m.extend("A", True).extend("B", True)
self.assertTrue(m.is_true(root_term))
m.clear()
m = m.extend("A", True).extend("B", False)
self.assertFalse(m.is_true(root_term))
m.clear()
m = m.extend("A", False).extend("B", True)
self.assertFalse(m.is_true(root_term))
m.clear()
m = m.extend("A", False).extend("B", False)
self.assertTrue(m.is_true(root_term))
m.clear()
def test_not(self):
expression = "NOT A"
parser = PLParser()
root_term = parser.parse(expression)
m = Model()
m = m.extend("A", False)
self.assertTrue(m.is_true(root_term))
m.clear()
m = m.extend("A", True)
self.assertFalse(m.is_true(root_term))
def test_not(self):
expression = "NOT A"
parser = PLParser()
root_term = parser.parse(expression)
m = Model()
m = m.extend("A", False)
self.assertTrue(m.is_true(root_term))
m.clear()
m = m.extend("A", True)
self.assertFalse(m.is_true(root_term))