Post a New Question

discrete mathematics with applications

posted by .

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.

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

More Related Questions

Post a New Question