← 2016 Paper 2

UPSC 2016 Maths Optional Paper 2 Q8c — Step-by-Step Solution

15 marks · Section B

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

Question

Let A,B,CA,B,C be Boolean variables, Aˉ\bar A denote complement of AA, A+BA+B is an expression for AA OR BB and A⋅BA\cdot B is an expression for AA AND BB. Then simplify the following expression and draw a block diagram of the simplified expression, using AND and OR gates.

A⋅(A+B+C)⋅(Aˉ+B+C)⋅(A+Bˉ+C)⋅(A+B+Cˉ).A\cdot(A+B+C)\cdot(\bar A+B+C)\cdot(A+\bar B+C)\cdot(A+B+\bar C).

Technique

Absorption A⋅(A+X)=AA\cdot(A+X)=A kills the three maxterms that contain a bare AA; the remaining A⋅(Aˉ+B+C)=A(B+C)A\cdot(\bar A+B+C)=A(B+C) by AAˉ=0A\bar A=0 and distribution; confirmed by an 8-row truth table.

Solution

Setup. Call the expression

F=A⋅(A+B+C)⋅(Aˉ+B+C)⋅(A+Bˉ+C)⋅(A+B+Cˉ).F=A\cdot(A+B+C)\cdot(\bar A+B+C)\cdot(A+\bar B+C)\cdot(A+B+\bar C).

We simplify by absorption, then confirm against a truth table.

Step 1 — Absorb the maxterms containing AA

The leading factor is AA. Any other factor of the form (A+⋯ )(A+\cdots) is absorbed by AA in a product, because A⋅(A+X)=AA\cdot(A+X)=A:

A⋅(A+B+C)=A,A⋅(A+Bˉ+C)=A,A⋅(A+B+Cˉ)=A.A\cdot(A+B+C)=A,\qquad A\cdot(A+\bar B+C)=A,\qquad A\cdot(A+B+\bar C)=A.

So three of the four bracketed factors vanish, leaving only the one without a bare AA:

F=A⋅(Aˉ+B+C).F=A\cdot(\bar A+B+C).

Step 2 — Eliminate the complement

A⋅(Aˉ+B+C)=AAˉ+A(B+C)=0+A(B+C).A\cdot(\bar A+B+C)=A\bar A+A(B+C)=0+A(B+C).

Answer

  F=A⋅(B+C)=AB+AC.  \boxed{\;F=A\cdot(B+C)=AB+AC.\;}
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.