Skip to main content

K-map ΠM(0,2,4,6,7,8,10,13,15) and 8:1 MUX

Short answer

Minimal SOP: Y = B'D + A'C'D + ABD'. Using an 8:1 multiplexer with A, B, C as select lines: I0=I1=I2=I4=I5 = D, I3 = 0, I6=I7 = D'. One inverter generates D'.

Simplify the following Boolean logic function using K-map. Also realize the logic function using an 8:1 multiplexer and necessary logic gates. Y(A,B,C,D) = ΠM(0,2,4,6,7,8,10,13,15)

Y(A,B,C,D)=ΠM(0,2,4,6,7,8,10,13,15)Y(A,B,C,D) = \Pi M(0,2,4,6,7,8,10,13,15) means Y = 0 at these cells. So Y = 1 at the remaining cells:

Y=Σm(1,3,5,9,11,12,14)Y = \Sigma m(1,3,5,9,11,12,14)

K-map simplification

        CD
AB      00  01  11  10
      +---+---+---+---+
 00   | 0 | 1 | 1 | 0 |
      +---+---+---+---+
 01   | 0 | 1 | 0 | 0 |
      +---+---+---+---+
 11   | 1 | 0 | 0 | 1 |
      +---+---+---+---+
 10   | 0 | 1 | 1 | 0 |
      +---+---+---+---+

Grouping the 1s:

  • Quad m(1,3,9,11) → B‾D\overline{B}D
  • Pair m(1,5) → A‾ C‾D\overline{A}\,\overline{C}D
  • Pair m(12,14) → ABD‾AB\overline{D}
Y=B′D+A′C′D+ABD′Y = B'D + A'C'D + ABD'

(Grouping the 0s gives the minimal POS Y=(A+D)(B+D)(A‾+B‾+D‾)(B‾+C‾+D‾)Y = (A+D)(B+D)(\overline{A}+\overline{B}+\overline{D})(\overline{B}+\overline{C}+\overline{D}), which has more terms, so the SOP form is used.)

Realization with an 8:1 multiplexer

Use A, B, C as the select lines S2S1S0S_2 S_1 S_0 and connect each data input I0I_0–I7I_7 to 0, 1, D or D‾\overline{D}. For each value of ABC, compare Y for D = 0 and D = 1:

ABC (sel)MintermsY at D=0Y at D=1Data input
0000, 101I0=DI_0 = D
0012, 301I1=DI_1 = D
0104, 501I2=DI_2 = D
0116, 700I3=0I_3 = 0
1008, 901I4=DI_4 = D
10110, 1101I5=DI_5 = D
11012, 1310I6=D‾I_6 = \overline{D}
11114, 1510I7=D‾I_7 = \overline{D}
          +-----------+
 D  ───── | I0        |
 D  ───── | I1        |
 D  ───── | I2        |
 0  ───── | I3  8:1   |── Y
 D  ───── | I4  MUX   |
 D  ───── | I5        |
 D' ───── | I6        |
 D' ───── | I7        |
          +-----------+
           S2  S1  S0
           A   B   C

 D ──[NOT]── D'

Only one NOT gate is needed besides the multiplexer. Check: for ABC=110ABC = 110, Y = D‾\overline{D}, so minterm 12 (D=0) gives 1 and minterm 13 gives 0, as required.

✓ Answer checked by Claude Opus 5.5 (high effort)

All Digital Logic chapter 3 questions →