Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ing.Dagoberto Rodriguez C.
POSTULADOS
A+0=A A+1=A A+A=A A + A = 1 A*0=0 A*1=A A*A=A A * A = 0 A = A
Ing.Dagoberto Rodriguez C.
PROPIEDADES
ASOCIATIVA:
1. F = A+B+C+D = (A+B) + (C+D) 2. A (BC) = (AB) C = ABC
CONMUTATIVA:
1. F = ABCD = BCAD 2. F = A + B + C + D = B + D + A + C 3. F = A + (BC) = (BC) + A
DISTRIBUTIVA:
1. La multiplicacin es distributiva con respecto a la suma: A + (BC) = AB + AC 2. Distribucin de la suma respecto al producto: A + (BC) = (A+B) + (A + C)
Ing.Dagoberto Rodriguez C.
LEYES Y TEOREMAS
LEY DE ABSORCION:
1. F = A+ (AB) = A o tambin A (A + B) = A 2. Recprocos:
1. A B + B = A + B 2. A + A B = A + B 3. A B + B = B 4. A + A B = A + B 5. A + AB = A + B 6. A + AB = A + B
TEOREMA DE SHANNON:
1. F1 = A + B 2. F1 = A B F1 = (A + B) = A B F1 = (A B) = A + B
TEOREMA DE DEMORGAN:
1. (A + B) = A B 2. (A B) = A + B
Ing.Dagoberto Rodriguez C.
FORMAS CANONICAS
PRIMERA FORMA CANONICA:
1. 2. 3. 4. Llamada tambin suma de productos Llamada tambin Minterms En la funcin de salida se escoge el prendido (1) Ejemplo: A B C + A BC + A B C + A B C Llamada tambin producto de sumas Llamada tambin Maxterms En la funcin de salida se escoge el apagado (0) Ejemplo: (A + B + C) (A + B + C) (A + B + C) (A + B + C)
Nota: Las variables tienen que estar complementadas o sin complementar de forma independiente y en todos los trminos deben aparecer.
Ing.Dagoberto Rodriguez C.
FORMAS CANONICAS
Se tiene la siguiente tabla de verdad, hallar la primera forma cannica y la segunda forma cannica: a b c F 0 0 0 0 a+b+c 0 0 1 0 a + b + c 0 1 0 0 a + b + c 0 1 1 1 a b c 1 0 0 1 a b c 1 0 1 1 a b c 1 1 0 1 a b c 1 1 1 1 abc La primera forma cannica: a b c + a b c + a b c + a b c + a b c La segunda forma cannica: (a + b + c) (a +b +c) (a + b + c)
Ing.Dagoberto Rodriguez C.
Z = (A + B) (A + B)
1. 2. 3. 4. 5. Se destruye parntesis Z = A A + A B + A B + B B Postulados Z = 0 + A B + A B + B Factor comn Z= B (A + A + 1) Postulado Z = B (1 + 1) Z=B
Ing.Dagoberto Rodriguez C.
2. Dada la siguiente tabla obtenga la primera forma cannica y simplifique por Boole.
Ing.Dagoberto Rodriguez C.
6. Simplifique la siguiente funcin mostrando los teoremas, propiedades: F= X1X2+X2X3+X1X3 7. Compruebe las siguientes igualdades:
XY+XZ+YZ = XY + X Z X (X+Y) + Z + ZY = Y + Z XY + (XY) Z = XY + Z W + W (X) + YZ = W (Y + Z)
Ing.Dagoberto Rodriguez C.
BIBLIOGRAFIA
Principios digitales.Tokheim Roger. Ed. McGraw Hill. Diseo Digital. Wakerly John. Ed. Prentice Hall.
Sistemas Digitales. Tocci. Ed. Prentice Hall. Diseo Lgico. Prieto, Eduardo. Mc. Graw Hill.
Ing.Dagoberto Rodriguez C.