Skip to content
Question 202 of 227

Q.Using the truth table, prove the following logical equivalence: p↔q≡(p∧q)∨(∼p∧∼q)p \leftrightarrow q \equiv (p \wedge q) \vee (\sim p \wedge \sim q).

Maharashtra MsbshseMaharashtra HSC (MSBSHSE) Board 2018Subjective· 3mImportance★★★★★
89% · 202/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 all four combinations of p,qp,q and compare the final columns.

ppqqp↔qp\leftrightarrow qp∧qp\wedge q∼p\sim p∼q\sim q∼p∧∼q\sim p\wedge\sim q(p∧q)∨(∼p∧∼q)(p\wedge q)\vee(\sim p\wedge\sim q)
TTTTFFFT
TFFFFTFF
FTFFTFFF
FFTFTTTT

The column for p↔qp\leftrightarrow q reads (T, F, F, T) and the column for (p∧q)∨(∼p∧∼q)(p\wedge q)\vee(\sim p\wedge\sim q) also reads (T, F, F, T) — identical in every row.

…

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.