Skip to content
Worked Examples · Example 6

Q.Prove De Morgan's law ∼(p∨q)≡∼p∧∼q\sim(p \vee q) \equiv \sim p \wedge \sim q using truth tables.

Maharashtra MsbshseTextbookSubjectiveImportance★★★★★
30% · 12/40 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 full table with all needed intermediate columns.

ppqqp∨qp \vee q∼(p∨q)\sim(p \vee q)∼p\sim p∼q\sim q∼p∧∼q\sim p \wedge \sim q
TTTFFFF
TFTFFTF
FTTFTFF
FFFTTTT

Compare. The column ∼(p∨q)\sim(p \vee q) is F,F,F,TF, F, F, T. The column ∼p∧∼q\sim p \wedge \sim q is: row 1 F∧F=FF \wedge F = F; row 2 F∧T=FF \wedge T = F; row 3 T∧F=FT \wedge F = F; row 4 T∧T=TT \wedge T = T, i.e. F,F,F,TF, F, F, T.

The columns match in every row, so ∼(p∨q)≡∼p∧∼q.\sim(p \vee q) \equiv \sim p \wedge \sim q. …

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.