| A | B | C | S |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 |
S = ¬(A ∧ B ∧ C)
S = 1)Vamos identificar os mintermos com saída 1:
m0: A'B'C'm1: A'B'Cm2: A'BC'm3: A'BCm4: AB'C'm5: AB'Cm6: ABC'Com A como linha e B/C como colunas (ordem: 00, 01, 11, 10):
| A \ BC | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| A = 0 | 1 (m0) |
1 (m1) |
1 (m3) |
1 (m2) |
| A = 1 | 1 (m4) |
1 (m5) |
0 (m7) |
1 (m6) |
Podemos simplificar os termos agrupando os 1s adjacentes:
A' (m0, m1, m2, m3)
B'C'
B'C
BC'
Com os agrupamentos acima, temos:
S = A' + B'C' + B'C + BC'
Simplificando a parte com B'C' + B'C + BC':
B'C' + B'C = B'B' + BC' = B' + C' (Teorema da absorção)Expressão final simplificada:
S = A' + B' + C'