Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- >>> from sympy import *
- >>> p, q = symbols('p q')
- >>> Phi = (p >> (p & q)) >> q
- >>> simplify(Phi)
- Or(p, q)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement