def test_trivial_true_or(self): x, y, z = (Symbol(name) for name in "xyz") f = Or(x, y, z, Not(x)) self.assertEqual(f.simplify(), TRUE())
def test_trivial_true_or(self): x,y,z = (Symbol(name) for name in "xyz") f = Or(x, y, z, Not(x)) self.assertEqual(f.simplify(), TRUE())
def test_or_flattening(self): x, y, z = (Symbol(name) for name in "xyz") f1 = Or(x, y, z) f2 = Or(x, Or(y, z)) self.assertEqual(f2.simplify(), f1)
def test_or_flattening(self): x,y,z = (Symbol(name) for name in "xyz") f1 = Or(x, y, z) f2 = Or(x, Or(y, z)) self.assertEqual(f2.simplify(), f1)