Skip to content
Exercise 1.4 · Q114

Q.Without using truth table, prove that: (p∧q)∨(∼p∧q)∨(p∧∼q)≡p∨q(p \wedge q) \vee (\sim p \wedge q) \vee (p \wedge \sim q) \equiv p \vee q

Maharashtra MsbshseTextbookSubjectiveImportance★★★★★
50% · 114/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 →

(p∧q)∨(∼p∧q)∨(p∧∼q)≡[q∧(p∨∼p)]∨(p∧∼q)(p\wedge q)\vee(\sim p\wedge q)\vee(p\wedge\sim q) \equiv [q\wedge(p\vee\sim p)]\vee(p\wedge\sim q) [Distributive law, on the first two terms]

≡(q∧t)∨(p∧∼q)\equiv (q\wedge t)\vee(p\wedge\sim q) [Complement law: p∨∼p≡tp\vee\sim p\equiv t]

≡q∨(p∧∼q)\equiv q\vee(p\wedge\sim q) [Identity law: q∧t≡qq\wedge t\equiv q]

≡(q∨p)∧(q∨∼q)\equiv (q\vee p)\wedge(q\vee\sim q) [Distributive law] …

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.