Karnaugh





De la Taula de Veritat al Circuit Lògic




De la Taula de Veritat al Circuit Lògic

De la Taula de Veritat al Circuit Lògic

Enunciat del problema: Un sistema activa una sortida (F) segons les condicions següents de la taula de la veritat.

1. Creació de la Taula de Veritat

La taula de veritat conté totes les combinacions possibles de les entrades i els seus resultats:

A B C D F(A, B, C, D)
0 0 0 0 1
0 0 0 1 0
0 0 1 0 1
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1

La següent funció lògica s’obté directament de la taula de veritat, sense simplificar, i està expressada com la suma de minterms.

F(A, B, C, D) = A'B'C'D' + A'B'CD' + A'BC'D + A'BCD + AB'C'D' + AB'CD' + ABC'D + ABCD

Cada minterm correspon a una combinació d’entrades per les quals la funció val 1.

2. Creació del Mapa de Karnaugh

Es col·loquen els valors de la taula de veritat en un mapa de Karnaugh per identificar agrupacions:

Els grups es formen amb potències de 2 (1, 2, 4, 8…). Agrupem els 1s adjacents per simplificar l’expressió.

2.1. Mapa de Karnaugh amb 4 grups

Mapa de Karnaugh per a F(A, B, C, D)
CD
AB 00 01 11 10
00 1 0 0 1
01 0 1 1 0
11 0 1 1 0
10 1 0 0 1
  • Grup 1: → B'C'D'
  • Grup 2: → B C D
  • Grup 3: → B C' D
  • Grup 4: → B' C D'

Combinant els termes simplificats, l’expressió resultant és:

F(A, B, C, D) = B'C'D' + BCD + BC'D + B'CD'

2.2 Mapa de Karnaugh amb 3 grups

Mapa de Karnaugh corregit (amb les 4 cantonades agrupades)
CD
AB 00 01 11 10
00 1 0 0 1
01 0 1 1 0
11 0 1 1 0
10 1 0 0 1

Combinant els termes simplificats, l’expressió resultant és:

F(A, B, C, D) = BCD + BC'D + B'D'

El següent pas és construir el circuit utilitzant:

  • Portes AND per cada terme.
  • Portes OR per combinar-los.

El circuit resultant és més eficient i requereix menys portes lògiques.

Simplificació Total amb regles Booleanes després de Karnaugh

Encara es pot simplificar més l’expressió booleana:

\[F(A, B, C, D) = BCD + BC’D + B’D’\]

Pas 1: Factorització per termes comuns

Observem que podem agrupar termes:

\[F = BCD + BC’D + B’D’\]

Agrupem els dos primers termes:

\[F = B D (C + C’) + B’D’\]

Com que \( C + C’ = 1 \), es redueix a:

\[F = BD + B’D’\]

Pas 2: Aplicació de la propietat XNOR

L’expressió final es pot escriure com:

\[F = B \odot D\]

Així doncs, la simplificació final de l’expressió és:

\[F(A, B, C, D) = B \odot D\]

Fixa’t que podríem haver fet l’agrupació de 4 “1” interna i l’agrupació de les 4 cantonades de la taula de Karnaugh (recorda que és un toroide de taula) i ja ho tenim tot simplificat.

2.3. Mapa de Karnaugh amb 2 grups

Aquest mapa agrupa els 4 uns de les cantonades i els 4 uns centrals, resultant en la funció simplificada:

F(A, B, C, D) = B ⊙ D

Mapa de Karnaugh de F(A, B, C, D)
AB CD
00 01 11 10
00 1 0 0 1
01 0 1 1 0
11 0 1 1 0
10 1 0 0 1

Toroide

Grup de cantonades (4 uns): Determina el terme B' · D' (ja que en les cantonades B=0 i D=0 són constants).
Grup central (4 uns): Determina el terme B · D (on B=1 i D=1 són constants).

Així, la funció simplificada és:

F(A, B, C, D) = B’·D’ + B·D = B ⊙ D

Simplificació de Funcions Lògiques

En l’àlgebra de Boole, la simplificació de funcions lògiques permet reduir el nombre de termes per optimitzar circuits digitals.

Regles bàsiques

  • Identitat: A · 1 = A, A + 0 = A
  • Complementació: A · A' = 0, A + A' = 1
  • Idempotència: A · A = A, A + A = A
  • Distributiva: A · (B + C) = A · B + A · C
  • Absorció: A + A · B = A
  • Associativa: (A + B) + C = A + (B + C), (A · B) · C = A · (B · C)
  • De Morgan: (A · B)' = A' + B', (A + B)' = A' · B'

Definicions de portes lògiques

Definició de NOT

NOT (¯): La sortida és la inversa del valor d’entrada.

Regla booleana: Y = A'

Taula de veritat NOT

A A’
0 1
1 0

Definició de AND

AND (·): La sortida és 1 si totes les entrades són 1.

Regla booleana: A · B = AB

Taula de veritat AND

A B A · B
0 0 0
0 1 0
1 0 0
1 1 1

Definició de OR

OR (+): La sortida és 1 si almenys una de les entrades és 1.

Regla booleana: A + B

Taula de veritat OR

A B A + B
0 0 0
0 1 1
1 0 1
1 1 1

Definició de NAND

NAND: La sortida és 0 només si totes les entrades són 1.

Regla booleana: A NAND B = (A · B)'

Taula de veritat NAND

A B A NAND B
0 0 1
0 1 1
1 0 1
1 1 0

Definició de NOR

NOR: La sortida és 1 només si totes les entrades són 0.

Regla booleana: A NOR B = (A + B)'

Taula de veritat NOR

A B A NOR B
0 0 1
0 1 0
1 0 0
1 1 0

Definició de XOR i XNOR

XOR (⊕): La sortida és 1 si exactament un dels valors d’entrada és 1.

Regla booleana: A ⊕ B = (A · B') + (A' · B)

XNOR (⊙): La sortida és 1 si els valors d’entrada són iguals.

Regla booleana: A ⊙ B = (A · B) + (A' · B')

Taula de veritat XOR

A B A ⊕ B
0 0 0
0 1 1
1 0 1
1 1 0

Taula de veritat XNOR

A B A ⊙ B
0 0 1
0 1 0
1 0 0
1 1 1

Taula de Veritat
Portes Lògiques

Pots trobar si has fet la simplificació de portes lògiques correcta introduint els minterms de la teva funció lògica no simplificada en el meu simplificador online.

Explicació senzilla de l’algorisme Quine-McCluskey.

Agrupaments b i c de cobertura equivalent i simplificació millor que d


Altre lloc XTECBlocs