Leccin 3 FUNCIONES LGICAS

ELECTRNICA DIGITAL 1er curso I.T. Telemtica E.U.I.T. Informtica de Gijn

Representacin de funciones lgicas

MULTIPLES FORMULACIONES MATEMTICAS/ESQUEMAS LGICOS

f(A, B, C) A B C A B C A B C A C A B C A (B C)
A B C f

A C B f

A B C

TABLA DE VERDAD NICA

A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 f 0 0 0 0 0 1 1 1

Primera forma cannica de una funcin (I)

CUALQUIER funcin lgica se puede expresar en forma de sumas de productos de las variables.
(A B) C A B C A B C (B C D) (A B) C B C D A C B C B C D

CUALQUIER producto se puede expresar como suma de PRODUCTOS CANNICOS (productos en los que intervienen TODAS las variables de la funcin).
A B A B (C C) (D D) A B C D A B C D A B C D A B C D

Primera forma cannica: Suma de productos en los que intervienen todas las variables, ya sea de forma directa o complementada.

Primera forma cannica de una funcin (II)

Un producto cannico es igual a 1 slo para una combinacin de valores de las variables de entrada. En esa combinacin aparecer un 0 si la variable est complementada y un 1 si la variable est en forma directa. Ejemplo: el producto A B C vale 1 para ABC=110 Una suma de productos es igual a 1 para cada una de las combinaciones que hacen que alguno de los productos sea 1. RECETA: Cada 1 de la tabla de verdad de una funcin se corresponde con un producto cannico en la primera forma cannica. En dicho producto cannico aparecen las variables en forma directa (complementada) si en la combinacin de entradas que generan el 1 de la funcin esa variable vale 1 (0).

Primera forma cannica de una funcin (III)

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

f 0 0 0 0 0 1 1 1

A B C m5 A B C m6

A B C m7

f(A, B, C) A B C A B C A B C m5 m6 m7

Implementacin con puertas lgicas

f(A, B, C) m5 m6 m7

Implementacin con puertas NAND

f(A, B, C) m5 m6 m7 m5 m6 m7 m5 m6 m7
A B C

Segunda forma cannica de una funcin (I)

CUALQUIER funcin lgica se puede expresar en forma de productos de sumas de las variables.
A B A C B D A B A C B A B A C D A B A B A B C B A B A D A B C D (B A) A C B B C B A D A C D B C D

CUALQUIER suma se puede expresar como producto de SUMAS CANNICAS (sumas en las que intervienen TODAS las variables de la funcin).
A C A C B B A C B A C B

Segunda forma cannica: Producto de sumas en las que intervienen todas las variables, ya sea de forma directa o complementada.

Segunda forma cannica de una funcin (II)

Una suma cannica es igual a 0 slo para una combinacin de valores de las variables de entrada. En esa combinacin aparecer un 1 si la variable est complementada y un 0 si la variable est en forma directa. Ejemplo: la suma A B C vale 0 para ABC=110 Un producto de sumas es igual a 0 para cada una de las combinaciones que hacen que alguna de las sumas sea 0. RECETA: Cada 0 de la tabla de verdad de una funcin se corresponde con una suma cannica en la segunda forma cannica. En dicha suma cannica aparecen las variables en forma directa (complementada) si en la combinacin de entradas que generan el 0 de la funcin esa variable vale 0 (1).

Segunda forma cannica de una funcin (III)

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

f 0 1 1 0 0 1 1 1

A B C M7
A B C M4 A B C M3

f(A, B, C) A B C A B C A B C M3 M4 M7

Obtencin de la segunda forma cannica a partir de la primera

RECETA: Si en la primera forma cannica interviene el producto cannico i, en la segunda no interviene la suma cannica 2n-1-i
A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 f 0 0 0 0 0 1 1 1

Aparecen en la 1 forma
m5 m6 m7

No aparecen en la 2 forma
M8-5-1 M8-6-1 M8-7 -1

f(A, B, C) m5 m6 m7 M3 M4 M5 M6 M7

Conclusiones sobre las formas cannicas:

1. Son formas estndar, de fcil obtencin. 2. Es sencillo elegir la ms simple. 3. Son estructuras regulares, aptas para la implementacin de algoritmos. 4. NO SON LA FORMA MAS SIMPLE DE EXPRESAR UNA FUNCIN.

Trminos adyacentes lgicos

Son aquellos trminos de una funcin que slo se diferencian en el ESTADO DE UNA VARIABLE Ejemplo: ABC y ABC Si en la primera (segunda) forma cannica aparecen dos productos (sumas) cannicos con adyacencia lgica, es posible simplificar los dos trminos por uno en el que se elimina la variable que cambia de estado
ABC ABC AC (B B) AC

A B C A B C A C (B B) A C

LA VARIABLE QUE CAMBIA DE ESTADO ES LA QUE SE SIMPLIFICA

Mapas de Karnaugh
Los trminos adyacentes aparecen fsicamente contiguos.
AB 0 1
AB

00

01

11

10

Mapa K de 3 variables

CD 00 01 11 10

00

01

11

10

Mapa K de 4 variables
AB CD 00 01 11 10 00 01 11 10

AB CD 00 01 11 10

00

01

11

10

E=0

E=1

Mapa K de 5 variables

Mapa de Karnaugh de 3 variables

A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 f 1 1 0 1 1 0 0 0

f(A, B, C) A B C A B C A B C A B C

BC A 0 1

00 1 1

01 1

11 1

10

B C

A C

f(A, B, C) B C A C

Mapa de Karnaugh de 4 variables

f(A, B, C, D) A B C D A B C D A B C D m0 m1 m2 m3 m9 m10 m12 m13 m14 m15

AB

CD 00 01 11 10

00 1 1 1 1

01

11 1 1 1 1

10 1 1

A C D A C D

A B

A B

f(A, B, C, D) A B A B A C D A C D

Mapa de Karnaugh de 5 variables

E=0
AB CD 00 01 11 10 00 1 1 1 1 01 1 1 1 11 10 1
AB CD 00 01 11 10

E=1
00 1 1 01 1 1 11 1 10 1

AB E

A C E

B C D E

A D

A C D E

Todos los trminos de este grupo estn cogidos dos veces: sobra

f(A, B, C, D, E) A C E B C D E A D A C D E

Funciones con trminos indiferentes

Ejemplo: bit de paridad PAR del cdigo BCD
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f 0 1 1 0 1 0 0 1 1 0 X X X X X X
CD

AB 00 01 11 10

00 1 x 1

01 1 x

11 1 x x

10 1 x x

f(A, B, C, D) B C D A D A B C D B C D B C D

Combinaciones de entrada imposibles: trminos indiferentes