View Single Post
03-13-2013, 06:06 PM
Kane One
HFB Partner
Join Date: Feb 2010
Location: Brooklyn, New NY
Country: United States
Posts: 32,433
vCash: 2000
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