← 2015 Paper 2

UPSC 2015 Maths Optional Paper 2 Q5c — Step-by-Step Solution

10 marks · Section B

Boolean algebra · Numerical Analysis · asked 15× in 14 yrs · Read the full method →

Question

Find the principal (or canonical) disjunctive normal form in three variables p,q,rp,q,r for the Boolean expression ((p∧q)→r)∨((p∧q)→¬r)((p\wedge q)\to r)\vee((p\wedge q)\to\neg r). Is the given Boolean expression a contradiction or a tautology?

Technique

Reduce (A→r)∨(A→¬r)=¬A∨r∨¬r=True(A\to r)\vee(A\to\neg r)=\neg A\vee r\vee\neg r=\text{True} symbolically; principal DNF of a tautology is the disjunction of all minterms.

Solution

Recall. a→b≡¬a∨ba\to b\equiv\neg a\vee b. The expression has 3 variables p,q,rp,q,r giving 23=82^3=8 rows.

Step 1 — Simplify symbolically

Let A=p∧qA=p\wedge q. Then expression =(A→r)∨(A→¬r)=(¬A∨r)∨(¬A∨¬r)=¬A∨r∨¬r=¬A∨True=True=(A\to r)\vee(A\to\neg r)=(\neg A\vee r)\vee(\neg A\vee\neg r)=\neg A\vee r\vee\neg r=\neg A\vee\text{True}=\text{True}.

So the expression is a tautology (true for all 8 valuations).

Step 2 — Principal DNF

A tautology’s principal DNF (canonical sum-of-products with all variables) is the disjunction of all 23=82^3=8 minterms.

Minterms (one per row of the truth table):

ppqqrrMinterm
000¬p∧¬q∧¬r\neg p\wedge\neg q\wedge\neg r
001¬p∧¬q∧r\neg p\wedge\neg q\wedge r
010¬p∧q∧¬r\neg p\wedge q\wedge\neg r
011¬p∧q∧r\neg p\wedge q\wedge r
100p∧¬q∧¬rp\wedge\neg q\wedge\neg r
101p∧¬q∧rp\wedge\neg q\wedge r
110p∧q∧¬rp\wedge q\wedge\neg r
111p∧q∧rp\wedge q\wedge r

Step 3 — Principal DNF (full sum)

Answer

  ⋁(all 8 minterms)=(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r)∨(p∧q∧r).  \boxed{\;\bigvee\text{(all 8 minterms)}=(\neg p\wedge\neg q\wedge\neg r)\vee(\neg p\wedge\neg q\wedge r)\vee(\neg p\wedge q\wedge\neg r)\vee(\neg p\wedge q\wedge r)\vee(p\wedge\neg q\wedge\neg r)\vee(p\wedge\neg q\wedge r)\vee(p\wedge q\wedge\neg r)\vee(p\wedge q\wedge r).\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.