Sunday, 6 December 2015

Q57,P3 ,J15. In propositional logic p<-->Q is equivalent to ( Where ~ is Not):

A)~(pvq)^~(qvp).
B)(~pvq)^(~qvp).
C)(pvq)^(qvp).
D)~(p->q)->~(q->p).
Answer B.
Explanation.
P<->Q= (P->Q)^(Q->P).

We know A->B is ~AvB.
Posted by at

No comments:

Post a Comment

Note: only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)