Guide: p, q, r = Bools('p q r')
(self)
| 475 | """From z3py guide: propositional logic.""" |
| 476 | |
| 477 | def test_bool_variables(self): |
| 478 | """Guide: p, q, r = Bools('p q r')""" |
| 479 | p, q, r = Bools("p q r") |
| 480 | assert is_bool(p) |
| 481 | assert is_bool(q) |
| 482 | assert is_bool(r) |
| 483 | |
| 484 | def test_and_or_not(self): |
| 485 | p, q = Bools("p q") |