← 2022 Paper 2

UPSC 2022 Maths Optional Paper 2 Q6b — Step-by-Step Solution

15 marks · Section B

Logic gates and truth tables · Numerical Analysis · asked 2× in 13 yrs · Read the full method →

Question

Find a combinatorial circuit for f(x,y,z)=[x(yˉ+z)]+yf(x,y,z)=[x\cdot(\bar y+z)]+y and write its input/output table.

Technique

Truth table from operator hierarchy; Boolean algebra simplification: xyˉ+y=x+yx\bar y+y=x+y (key identity).

Solution

Step 1 — Analyse the Boolean expression

f=[x(yˉ+z)]+yf=[x\cdot(\bar y+z)]+y.

Hierarchy:

  1. NOT gate on yy: produces yˉ\bar y.
  2. OR gate combining yˉ\bar y and zz: produces yˉ+z\bar y+z.
  3. AND gate combining xx and (yˉ+z)(\bar y+z): produces x(yˉ+z)x(\bar y+z).
  4. OR gate combining the above with yy: produces final ff.

Step 2 — Circuit diagram (text representation)

   y ── [NOT] ──┐
                │   ┌── ̄y
                │   │
   z ──────────┼───[OR]───┐  (gives ̄y+z)
                │          │

   x ──────────────────────[AND]───┐  (gives x·( ̄y+z))


   y ─────────────────────────────[OR]──── f

Components used: 1 NOT, 2 OR, 1 AND.

Step 3 — Truth table (input/output)

xxyyzzyˉ\bar yyˉ+z\bar y+zx(yˉ+z)x(\bar y+z)f=[]+yf=[\cdot]+y
0001100
0011100
0100001
0110101
1001111
1011111
1100001
1110111

Step 4 — Simplification (bonus)

Looking at the truth table: f=0f=0 only when (x,y,z){(0,0,0),(0,0,1)}(x,y,z)\in\{(0,0,0),(0,0,1)\}, i.e., when x=0x=0 and y=0y=0.

So f=x+yf=x+y? Test: x+yx+y at (0,0,0)=0(0,0,0)=0 ✓, at (0,0,1)=0(0,0,1)=0 ✓, at (0,1,0)=1(0,1,0)=1 ✓, at (1,0,0)=1(1,0,0)=1 ✓, etc. Yes — ff simplifies to x+yx+y.

Simplification: f=[x(yˉ+z)]+yf=[x(\bar y+z)]+y. Use distributive: f=xyˉ+xz+yf=x\bar y+xz+y. Combine xyˉ+y=x+yx\bar y+y=x+y (absorption-related; verify: xyˉ+y=(xyˉ+y)1=(x+y)(yˉ+y)=(x+y)1=x+yx\bar y+y=(x\bar y+y)\cdot 1=(x+y)(\bar y+y)=(x+y)\cdot 1=x+y). So f=x+y+xz=x(1+z)+y=x+yf=x+y+xz=x(1+z)+y=x+y (since 1+z=11+z=1).

So f=x+yf=x+y simplifies dramatically.

Conclusion

Answer

  f(x,y,z)=[x(yˉ+z)]+y=x+y (simplified).  \boxed{\;f(x,y,z)=[x(\bar y+z)]+y=x+y\text{ (simplified)}.\;}
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 — 13 years, mapped. Get the take-away PDF free.