The math optional, made finite.

← 2025 Paper 2

UPSC Maths 2025 Paper 2 Q6b — Solution

15 marks · Section B

Question

Simplify the Boolean function F(x,y,z)=xyz+xyz+xyz+xyzF(x, y, z) = xyz + x'yz + xy'z + xyz' and draw the corresponding GATE network.

Technique

Simplify by the absorption/adjacency law AB+AB=AAB + AB' = A (equivalently a Karnaugh map): pairs of minterms differing in exactly one variable combine, and the minterm xyzxyz may be reused by idempotence.

Solution

The four product terms are minterms (in variables x,y,zx,y,z): xyz=m7,xyz=m3,xyz=m5,xyz=m6.xyz = m_7,\quad x'yz = m_3,\quad xy'z = m_5,\quad xyz' = m_6. So F=m(3,5,6,7)F = \sum m(3,5,6,7).

Combine adjacent minterms

Use AB+AB=AAB + AB' = A. The term xyzxyz shares a face with each of the other three:

The minterm xyzxyz may be reused freely (idempotent law xyz+xyz=xyzxyz + xyz = xyz). Hence F=(xyz+xyz)+(xyz+xyz)+(xyz+xyz)=yz+xz+xy.F = (xyz + x'yz) + (xyz + xy'z) + (xyz + xyz') = yz + xz + xy.

So F(x,y,z)=xy+yz+zx.\boxed{F(x,y,z) = xy + yz + zx.}

This is the majority function: F=1F=1 iff at least two of x,y,zx,y,z are 11 (minterms 3,5,6,73,5,6,7).

K-map confirmation

x\yzx\backslash yz00011110
00010
10111

Three 2-cell groupings: the yzyz column (yz=11yz=11), the xzxz pair (x=1,z=1x=1,z=1), and the xyxy pair (x=1,y=1x=1,y=1) → F=yz+xz+xyF = yz + xz + xy.

GATE network

        x ---+----------\
        y ---+--[ AND ]---\
                            \
        y ---+----------\    \
        z ---+--[ AND ]---+--[ OR ]--- F
                          /
        x ---+----------/
        z ---+--[ AND ]-/

Three 2-input AND gates compute xyxy, yzyz, zxzx; their outputs feed one 3-input OR gate giving F=xy+yz+zxF = xy + yz + zx.

Answer

F(x,y,z)=xy+yz+zxF(x,y,z) = xy + yz + zx realised by three 2-input AND gates feeding a single 3-input OR gate (the majority gate).

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.