Quote:
Originally Posted by Jabroni1994
Then use DeMorgan's Law and assoc. of OR:
*p OR (q OR r)
=== *p OR q OR r  by assoc. of OR
=== p AND *q AND *r  by DeMorgan's Law

Yep. That's what I did, but this is a ***** to check and see if I was right.
p > (q OR r)
=== *p OR (q OR r)
=== **(*p OR (q OR r)
=== *(p AND *(q OR r))
=== *(p AND *q AND *r)
Looks right to me.