View Single Post
Old
03-13-2013, 05:06 PM
  #113
Kane One
HFB Partner
 
Kane One's Avatar
 
Join Date: Feb 2010
Location: Brooklyn, New NY
Country: United States
Posts: 31,401
vCash: 2550
Quote:
Originally Posted by Jabroni1994 View Post
p --> q <===> *p OR q.

So, p --> (q OR r) <===> *p OR (q OR r), where you instantiate q as (q OR r).
My professor asked us to rewrite it so that we only use 'not' and 'and'. We couldn't use 'or'.

__________________
Kane One is offline