Related Concepts: 01 Arithmetic Circuits, Multipliers & Comparators | 02 Code Converters & Data Routing Implementations | 04 Programmable Logic Devices (ROM & PLA)

5.05 Application-Specific Word Problems

Real-World Logic Synthesis

Application-specific word problems test your ability to convert a real-world scenario into formal Boolean expressions: defining input/output variables $\to$ constructing the truth table $\to$ simplifying via K-map $\to$ drawing the hardware circuit.

---

1. The Restaurant Voting Tie-Breaker Logic

Major PYQ Problem (2016 - 11 Marks)

Scenario: Mom ($A$), Dad ($B$), Joe ($C$), Sue ($D$) vote: Vegetables ($1$) vs. Chicken ($0$). Rules:

1. Majority vote wins.
2. If Mom and Dad agree, they win regardless of the kids.
3. Any other tie votes result in Chicken ($0$).

Solution:

• Minterms where $Y=1$: $Y=\Sigma m(7,11,12,13,14,15)$
• K-map simplification:
  • Quad $(12,13,14,15)\to AB$ (Mom & Dad agree)
  • Pair $(7,15)\to BCD$
  • Pair $(11,15)\to ACD$ $\mathbf{Y}=\mathbf{AB}+\mathbf{ACD}+\mathbf{BCD}=\mathbf{AB}+\mathbf{CD}(\mathbf{A}+\mathbf{B})■$

---

2. The Spaceship Battery Monitor

Major PYQ Problem (2017 - 13 Marks)

Scenario: A 4-bit A/D converter ($A,B,C,D$) monitors a 0-15V battery. Generate HIGH output if voltage $>6\text{V}$.

Solution:

• Minterms for $>6\text{V}$: $Y=\Sigma m(7,8,9,10,11,12,13,14,15)$
• K-map simplification: Octet $(8\dots 15)\to A$, Pair $(7,15)\to BCD$. $\mathbf{Y}=\mathbf{A}+\mathbf{BCD}■$

---

3. Gas-Fired Boiler Alarm System

Major PYQ Problem (2021 - 10 Marks)

Scenario: Flame ($F$), Chimney Temp ($C$), Water Temp ($W$), Pressure ($P$). Alarm triggers if flame ignited AND chimney temp OR water temp OR pressure is high.

$\text{Alarm}=\mathbf{F}\cdot (\mathbf{C}+\mathbf{W}+\mathbf{P})■$

---

4. 4-Bit Divisibility Indicator (Divisible by 2 and 3)

Major PYQ Problem (2022 - 8 Marks)

Scenario: 4-bit input ($A,B,C,D$). Output $Z_1=1$ if divisible by 2; $Z_2=1$ if divisible by 3.

Solution:

• Divisible by 2 ($Z_1$): LSB must be $0⟹{\mathbf{Z}}_1={\mathbf{D}}^{\prime }$
• Divisible by 3 ($Z_2$): Numbers $0,3,6,9,12,15⟹Z_2=\sum m(0,3,6,9,12,15)$ ${\mathbf{Z}}_2=(\mathbf{A}\odot \mathbf{B})(\mathbf{C}\odot \mathbf{D})+{\mathbf{A}}^{\prime }\mathbf{BC}{\mathbf{D}}^{\prime }+\mathbf{A}{\mathbf{B}}^{\prime }{\mathbf{C}}^{\prime }\mathbf{D}■$

---

Past Year Questions (PYQs)

• [PYQ 2016]: Restaurant voting logic. (11 Marks)
• [PYQ 2017]: Spaceship battery monitor logic. (13 Marks)
• [PYQ 2021]: Boiler alarm logic. (10 Marks)
• [PYQ 2022]: Binary divisibility indicator for 2 and 3. (08 Marks)