Skip to content
Miscellaneous Exercise 1 · Q176

Q.Using truth tables, prove the following logical equivalence: (p∧q)→r≡p→(q→r)(p \land q) \to r \equiv p \to (q \to r)

Maharashtra MsbshseTextbookSubjectiveImportance★★★★★
78% · 176/227 Questions
🔒 Locked · start free trial →

You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.

Start your 14-day free trial to unlock the full solution →

Construct a joint truth table over p, q, r (8 rows) for both sides.

p=T,q=T,r=T: LHS (p∧q)→r = T→T=T. RHS q→r=T→T=T, p→(q→r)=T→T=T. Match.

p=T,q=T,r=F: LHS T→F=F. RHS q→r=T→F=F, p→(q→r)=T→F=F. Match.

p=T,q=F,r=T: LHS p∧q=F, F→T=T. RHS q→r=F→T=T, p→T=T. Match.

p=T,q=F,r=F: LHS p∧q=F, F→F=T. RHS q→r=F→F=T, p→T=T. Match.

p=F,q=T,r=T: LHS p∧q=F, F→T=T. RHS q→r=T→T=T, p→T: since p=F, F→anything=T. Match.

p=F,q=T,r=F: LHS p∧q=F, F→F=T. RHS q→r=T→F=F, p→(q→r)=F→F=T (p=F makes it T). Match. …

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.