Site navigation

Which of the following are tautology ? (A) (P → (P ∧ Q)) → (P → Q) (B) ((P → Q) → Q) → (P ∨ Q) (C) ((P…

In A, \(P \to (P \wedge Q)\) is equivalent to \(P \to Q\), so A has the form X → X and is a tautology. In B, \((P \to Q) \to Q\) is equivalent to \(P \vee Q\), so B also has…

Choose your answer

Which of the following are tautology ?

(A) (P → (P ∧ Q)) → (P → Q)
(B) ((P → Q) → Q) → (P ∨ Q)
(C) ((P ∨ ¬P) → Q) → ((P ∨ ¬P) → R)
(D) (Q → (P ∧ ¬P)) → (R → (P ∧ ¬P))

Select one answer
Answer and explanation

Correct answer C

In A, P→(P∧Q)P \to (P \wedge Q) is equivalent to P→QP \to Q, so A has the form X → X and is a tautology. In B, (P→Q)→Q(P \to Q) \to Q is equivalent to P∨QP \vee Q, so B also has the form X → X. Since P ∨ ¬P is always true, C reduces to Q → R, false when Q is true and R false, and D reduces to ¬Q → ¬R, that is R → Q, false when R is true and Q false. So only A and B are tautologies.

Practice for these exams

  • UGC NET Computer Science and Applications

Related question papers

Related exam syllabi

Related questions in this topic