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)
