← 2021 Paper 2
UPSC 2021 Maths Optional Paper 2 Q5c-ii — Step-by-Step Solution
5 marks · Section B
Boolean algebra · Numerical Analysis · asked 15× in 13 yrs · Read the full method →
Question
Obtain the principal conjunctive normal form of (¬P→R)∧(Q↔P).
Technique
Truth table; conjunction of maxterms at rows where expression = 0.
Solution
Step 1 — Truth table
¬P→R≡P∨R (since ¬(¬P)∨R=P∨R).
Q↔P≡(Q∧P)∨(¬Q∧¬P).
So expression =(P∨R)∧((Q∧P)∨(¬Q∧¬P)).
Truth table:
| P | Q | R | P∨R | Q↔P | Expression |
|---|
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 |
Step 2 — Identify rows where expression = 0
Rows: (P,Q,R)∈{(0,0,0),(0,1,0),(0,1,1),(1,0,0),(1,0,1)}.
Step 3 — Maxterms
For row (P,Q,R), the maxterm is the disjunction of literals, with 0→ unprimed and 1→ primed.
- (0,0,0): P∨Q∨R.
- (0,1,0): P∨¬Q∨R.
- (0,1,1): P∨¬Q∨¬R.
- (1,0,0): ¬P∨Q∨R.
- (1,0,1): ¬P∨Q∨¬R.
Step 4 — Principal CNF = conjunction of maxterms
Answer
(P∨Q∨R)∧(P∨¬Q∨R)∧(P∨¬Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨Q∨¬R).