Jos Acosta

Fundamentos de Lgica Digital II

Formas Cannicas

Es una forma de representar una funcin booleana en la que todos los trminos tienen todas las variables de la funcin, ya sea complementadas o sin complementar

F(A,B,C)= A.B.C+A.B.C+A.B.C

G(A,B,C)= (A+B+C) (A+B+C) (A+B+C)

Formas Cannicas
Minterm
Tabla de verdad

Mintern
A.B.C

0
0 0 1 1 1 1

0
1 1 0 0 1 1

1
0 1 0 1 0 1

1
0 1 0 1 1 0

A.B.C

Combinaciones en las que la funcin vale 1 Se expresa como Suma De Productos (SDP) Las variables se insertan sin modificaciones
X = A.B.C + A.B.C + A.B.C + A.B.C X(A,B,C) = OR(1,3,5,6) = S(1,3,5,6)

A.B.C A.B.C

Formas Cannicas
Maxterm
Tabla de verdad

Maxtern
A+B+C

0
0 0 1 1 1 1

0
1 1 0 0 1 1

1
0 1 0 1 0 1

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

Combinaciones en las que la funcin vale 0 Se expresa como Producto De Sumas (PDS) Las variables se insertan complementadas
X = (A+B+C) (A+B+C) (A+B+C) (A+B+C) X(A,B,C) = AND(0,2,4,7) = P(0,2,4,7)

Obtencin de Forma Cannica

Para obtener una forma cannica a partir de una suma de productos, se multiplica el termino donde falta una variable con la suma de la variable y su complemento:

Para obtener una forma cannica a partir de un producto de sumas, se suma al termino donde falta una variable el producto de la variable y su complemento:

Ejm: (X + X)

Ejm: X . X

Obtencin de Forma Cannica

F(X,Y,Z) F(X,Y,Z) F(X,Y,Z) F(X,Y,Z) F(X,Y,Z) F(X,Y,Z) F(X,Y,Z) F(X,Y,Z)

= = = = = = = =

XY + XZ + XYZ XY(Z+Z) + XZ(Y+Y) + XYZ XYZ+XYZ + XYZ+XYZ + XYZ S(4,5,6,7) (X+Y+Z)(X+Y)(X+Y+Z) (X+Y+Z)(X+Y+Z.Z)(X+Y+Z) (X+Y+Z)(X+Y+Z)(X+Y+Z)(X+Y+Z) P(1,2,4,5)

Simplificacin de Funciones

Simplificar una funcin implica encontrar otra equivalente y con menor numero de trminos Esto facilita la implementacin de circuitos usando un menor numero de compuertas La reduccin del numero de trminos se puede hacer:

Mtodo algebraico Mapas de Karnaugh Algoritmo Quine-McKluskey

Mtodo Algebraico

El mtodo algebraico utiliza los postulados y teoremas booleanos para la simplificacin de funciones
F(X,Y,Z) = S(3,4,5,6,7)
F(X,Y,Z) = XYZ+XYZ+XYZ+XYZ+XYZ F(X,Y,Z) = XYZ+XY(Z+Z)+XY(Z+Z) F(X,Y,Z) = XYZ+XY+XY F(X,Y,Z) = XYZ+X(Y+Y) F(X,Y,Z) = XYZ+X
X Y Z F

Mapas de Karnaugh

El mtodo resulta aplicable para funciones de hasta 6 variables, luego se torna complejo Se basa en el uso de tablas de verdad
AB 00 01 11 10 CD 00 C 01 11 10 AB 00 01 11 10 0 1

Mapas de Karnaugh
3 variables
1- Forma cannica SDP F = ABC

ABC +

ABC

ABC

3- Trasladar al mapa y agrupar de pares C 4- Forma simplificada SDP 0 00 01 1 1 1 1 F = BC + AB

2 - Tabla de verdad

AB

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 1 1 0 0 ABC ABC Minterm ABC ABC

11 10

Se deben hacer agrupaciones de mayor tamao posible

Mapas de Karnaugh
4 variables
2 - Tabla de verdad
A 0 0 0 0 0 0 0 B 0 0 0 0 1 1 1 C 0 0 1 1 0 0 1 D 0 1 0 1 0 1 0 F 0 1 1 0 0 1 0

1- Forma Cannica SDP F = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD

3- Trasladar al mapa y agrupar de pares CD 4- Forma simplificada SDP 01 1 1 1 1 1 1 11 10 1 F = ABCD + CD + AC

AB
00 01 11 10

00

0
1 1 1 1 1 1 1 1

1
0 0 0 0 1 1 1 1

1
0 0 1 1 0 0 1 1

1
0 1 0 1 0 1 0 1

0
1 1 0 0 1 1 0 0

Minterm

Se deben hacer agrupaciones de mayor tamao posible

Mapas de Karnaugh
Condiciones No Importa

Muchos sistemas tienen combinaciones de entradas cuyas salidas no ocurrirn nunca o no se especifican pues no interesa su valor, pudiendo ser 1 o 0 indistintamente

A este tipo de salidas se les conoce como no importa Se les representa con un x en el mapa de Karnaugh considerndose un 1 o 0 segn convenga

Mapas de Karnaugh
Condiciones No Importa
3- Trasladar al mapa y agrupar de pares C 2 - Tabla de verdad AB 00 01 11 10 1 x 1 0 1 4- Forma simplificada SDP F= A 1- Forma cannica SDP F = ABC

ABC +

ABC

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 x x 1 1 1 No Importa

Se deben hacer agrupaciones de mayor tamao posible

Mapas de Karnaugh
Maxterm

El procedimiento es similar, considerando:

Simplificar:
F = (A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D) 1111 1001 1011 0000 0100 1010 0111 1101

F = P4(0,4,5,7,9,11,13,15)

Tomar los 0 de la tabla de verdad (Maxterm) Trasladar los 0 al mapa y agruparlos Expresar el resultado en forma de PDS

Trasladar al mapa y agrupar de pares CD

4- Forma simplificada PDS F = (A+C+D)(B+D)(A+D)

AB
00 01 11 10

00
0 0

01

11

10

0 0 0

0 0 0

Se deben hacer agrupaciones de mayor tamao posible