Tuesday
December 6, 2016

Homework Help: discrete mathematics with applications

Posted by ovadiel on Thursday, February 4, 2010 at 8:43pm.

A logical equivalance is derived from Theorem,supply a reason for each step;

(pv~q)^(~pvq)
ß(~q v p)^(~q v ~p) by_________
ß ~q v(p ^ ~p) by_________
ß ~q v c by_________
ß ~q by_________

Therefore,(p v~q)^ (~p v ~q)ß ~q.

Answer This Question

First Name:
School Subject:
Answer:

Related Questions

More Related Questions