Está en la página 1de 10

Algebra de Boole y simplificacin

Docente Dagoberto Rodrguez Cedeo

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)

SEGUNDA FORMA CANONICA:


1. 2. 3. 4.

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.

SIMPLIFICACION UTILIZANDO BOOLE


Y = A B D + A B D
1. Sacar factor comn Y = A B (D + D) 2. Postulado Y = A B

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.

Ejercicios propuestos (1)


1. Simplifique cada una de las siguientes expresiones mediante los teoremas de DeMorgan:
((A B C)) (A + B C) (A (B + C) D) (A B (C D)) (((A B) C) D)

2. Dada la siguiente tabla obtenga la primera forma cannica y simplifique por Boole.

Ing.Dagoberto Rodriguez C.

Ejercicios propuestos (2)


3. Elabore un circuito con entradas P, Q y R, cuya salida S este en alta, cuando la mayora de entradas estn en alta. 4. Simplifique la siguiente funcin mostrando los teoremas, propiedades:
F= ABC + AB (A 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)

5. Simplifique la siguiente funcin mostrando los teoremas, propiedades:


X=

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.