Es dissenya una alarma per a un banc amb 4 entrades:
La alarma (F = 1, timbre sonant) s’activa en qualsevol d’aquestes situacions:
A · B
C
= 1) i, com que la caixa forta s'obre, la porta està oberta (D
= 1). La condició és:
C · D
D
= 1) i el control també està obert (A
= 1), donant:
A · D
Per evitar confusions, en aquesta representació els símbols s'interpreten així:
- La negació d'una variable X
es mostra com X
.
- El producte lògic s'indica amb ·
.
La funció lògica resultant és:
F(A, B, C, D) = A · B + C · D + A · D
Es numeraran els minterms corresponents. Tenim 4 variables (A, B, C, D) i utilitzarem l'ordre de Gray per les files i columnes:
Minterms inclosos en F:
La unió dels minterms és: 0, 2, 4, 6, 8, 9, 10, 11, 12.
Taula del Karnaugh per l'Alarma:
AB \ CD | 00 | 01 | 11 | 10 |
---|---|---|---|---|
00 | 1 | 0 | 0 | 1 |
01 | 1 | 0 | 0 | 1 |
11 | 1 | 1 | 1 | 1 |
10 | 1 | 1 | 1 | 1 |
Explicació dels Grups:
A · B
(minterms 8, 9, 10, 11).
C = 0
i D = 0
(minterms 0, 4, 8, 12) corresponent a C · D
.
A · D
.
D'aquesta forma, la simplificació amb els mapes de Karnaugh confirma la funció:
F(A, B, C, D) = A · B + C · D + A · D
La família Pérez (on en Juan i la Maria són els pares i en José i la Susanna els fills) vota per triar entre:
Les regles són:
Variables:
Una expressió lògica que compleix aquestes regles és:
F(A, B, C, D) = A · B + (A ⊕ B) · C · D
On:
A · B
cobreix el cas en què els pares estan d'acord (si voten hamburgueses, F = 1; si voten pollastre, F = 0).
A ⊕ B
(XOR) és 1 quan els pares estan en desacord.
C · D
= 1) es decideix per hamburgueses (F = 1). En qualsevol altre cas, el resultat serà pollastre (0).
També s'utilitzen 4 variables (A, B, C, D) amb:
Minterms on F = 1:
La unió dels minterms és: 7, 11, 12, 13, 14, 15.
Taula del Karnaugh per la Votació:
AB \ CD | 00 | 01 | 11 | 10 |
---|---|---|---|---|
00 | 0 | 0 | 0 | 0 |
01 | 0 | 0 | 1 | 0 |
11 | 1 | 1 | 1 | 1 |
10 | 0 | 0 | 1 | 0 |
Explicació dels Grups:
A · B
).
(A ⊕ B) · C · D
.
Així, el mapa de Karnaugh confirma la funció:
F(A, B, C, D) = A · B + (A ⊕ B) · C · D
S'han dissenyat dos circuits lògics:
F(A, B, C, D) = A · B + C · D + A · D
,
analitzada amb un mapa de Karnaugh amb tres grups de colors.
F(A, B, C, D) = A · B + (A ⊕ B) · C · D
,
amb un mapa de Karnaugh que ressalta el cas dels pares i el cas de desacord amb el vot dels fills.
Amb aquesta representació s'aconsegueix una millor visualització de les funcions lògiques, utilitzant estils CSS per mostrar la negació amb una barra sobre la variable i símbols lògics més clars.