Machine-translated by Google. Questions are authored in English.
Top

Discussion

Which of the proposition is p^ (~ p v q) is

  • A.A tautulogy
  • B.A contradiction
  • C.Logically equivalent to p ^ q
  • D.All of above

Answer: C

Correct answer: Logically equivalent to p ^ q

Distribute: \( p \land (\lnot p \lor q) \equiv (p \land \lnot p) \lor (p \land q) \), and the first disjunct is a contradiction, so the whole reduces to \( p \land q \). It is therefore neither a tautology nor a contradiction - it is true exactly when both p and q are true.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.