Advertisement
Guest User

Untitled

a guest
Oct 1st, 2014
192
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.23 KB | None | 0 0
  1. (p→r)∧(q→r)
  2. ≡(¬p∨r)∧(¬q∨r)
  3. ≡(¬p∧¬q)∨(r∨r)
  4. ≡(¬p∧¬q)∨r
  5. ≡¬(p∨q)∨r
  6. ≡(p∨q)→r
  7.  
  8. (p→r)∨(q→r)
  9. ≡(¬p∨r)∨(¬q∨r)
  10. ≡(¬p∨¬q)∨r
  11. ≡¬(p∧q)∨r
  12. ≡(p∧q)→r
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement