You are on page 1of 14

José Acosta

Fundamentos de Lógica Digital II

C+A.Formas Canónicas  Es una forma de representar una función booleana en la que todos los términos tienen todas las variables de la función.B. ya sea complementadas o sin complementar  F(A.C  G(A.C+A.B.B.B.C)= A.C)= (A+B+C) (A+B+C) (A+B+C) .B.

B.Formas Canónicas Minterm Tabla de verdad A B C X Mintern A.C A.B.B.B.C .C X(A.C • Combinaciones en las que la función vale 1 • Se expresa como Suma De Productos (SDP) • Las variables se insertan sin modificaciones X = A.B.C + A.B.3.5.C) = OR(1.C 0 0 0 0 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.6) A.3.6) = S(1.5.B.C + A.B.B.C + A.

Formas Canónicas Maxterm Tabla de verdad A B C X Maxtern A+B+C 0 0 0 0 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 función 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.7) .7) = P(0.2.2.C) = AND(0.4.B.4.

se multiplica el termino donde falta una variable con la suma de la variable y su complemento:   Para obtener una forma canónica a partir de un producto de sumas. X . se suma al termino donde falta una variable el producto de la variable y su complemento:  Ejm: (X + X) Ejm: X .Obtención de Forma Canónica  Para obtener una forma canónica a partir de una suma de productos.

Y.Y.Y.2.Obtención de Forma Canónica     F(X.Z) F(X.4.Y.Z) F(X.Y.Y.7) (X+Y+Z)(X+Y)(X+Y+Z) (X+Y+Z)(X+Y+Z.Z) = = = = = = = = XY + XZ + XYZ XY(Z+Z) + XZ(Y+Y) + XYZ XYZ+XYZ + XYZ+XYZ + XYZ S(4.Y.6.Z) F(X.Z) F(X.5)     .Y.Z) F(X.Z) F(X.5.Z) F(X.Z)(X+Y+Z) (X+Y+Z)(X+Y+Z)(X+Y+Z)(X+Y+Z) P(1.

Simplificación de Funciones    Simplificar una función implica encontrar otra equivalente y con menor numero de términos Esto facilita la implementación de circuitos usando un menor numero de compuertas La reducción del numero de términos se puede hacer:    Método algebraico Mapas de Karnaugh Algoritmo Quine-McKluskey .

7) F(X.Z) = S(3.Método Algebraico  El método algebraico utiliza los postulados y teoremas booleanos para la simplificación de funciones F(X.6.Y.Y.Y.Z) = XYZ+XY(Z+Z)+XY(Z+Z) F(X.Z) = XYZ+XYZ+XYZ+XYZ+XYZ F(X.Z) = XYZ+X X Y Z F .Y.4.5.Y.Z) = XYZ+X(Y+Y) F(X.Y.Z) = XYZ+XY+XY F(X.

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   El método resulta aplicable para funciones de hasta 6 variables.

Trasladar al mapa y agrupar de pares C 4.Mapas de Karnaugh 3 variables 1.Forma simplificada SDP 0 00 01 1 1 1 1 F = BC + AB 2 .Forma canónica SDP F = ABC + ABC + ABC + ABC 3.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 1 Se deben hacer agrupaciones de mayor tamaño posible .

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.Trasladar al mapa y agrupar de pares CD 4.Mapas de Karnaugh 4 variables 2 .Forma Canónica SDP F = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD 3.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 tamaño posible .

Mapas de Karnaugh Condiciones No Importa   Muchos sistemas tienen combinaciones de entradas cuyas salidas no ocurrirán 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 considerándose un “1” o “0” según convenga .

Forma canónica 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 x 1 Se deben hacer agrupaciones de mayor tamaño posible .Trasladar al mapa y agrupar de pares C 2 .Forma simplificada SDP F= A 1.Tabla de verdad AB 00 01 11 10 1 x 1 0 1 4.Mapas de Karnaugh Condiciones No Importa 3.

9.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 tamaño posible .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.Mapas de Karnaugh Maxterm  El procedimiento es similar.4.13.11.7.5. 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.