Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (p→r)∧(q→r)
- ≡(¬p∨r)∧(¬q∨r)
- ≡(¬p∧¬q)∨(r∨r)
- ≡(¬p∧¬q)∨r
- ≡¬(p∨q)∨r
- ≡(p∨q)→r
- (p→r)∨(q→r)
- ≡(¬p∨r)∨(¬q∨r)
- ≡(¬p∨¬q)∨r
- ≡¬(p∧q)∨r
- ≡(p∧q)→r
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement