Skip to content
Question 222 of 227

Q.Using truth table, prove that the statement patterns p↔qp\leftrightarrow q and (p∧q)∨(∼p∧∼q)(p\wedge q)\vee(\sim p\wedge \sim q) are logically equivalent.

Maharashtra MsbshseMaharashtra HSC (MSBSHSE) Board 2025Subjective· 2mImportance★★★★★
98% · 222/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 →

Build the truth table for both statement patterns for every combination of p,qp,q and compare the final columns.

ppqq∼p\sim p∼q\sim qp↔qp\leftrightarrow qp∧qp\wedge q∼p∧∼q\sim p\wedge\sim q(p∧q)∨(∼p∧∼q)(p\wedge q)\vee(\sim p\wedge\sim q)
TTFFTTFT
TFFTFFFF
FTTFFFFF
FFTTTFTT

The column for p↔qp\leftrightarrow q is [T,F,F,T][T, F, F, T] and the column for (p∧q)∨(∼p∧∼q)(p\wedge q)\vee(\sim p\wedge\sim q) is also [T,F,F,T][T, F, F, T].

…

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.