11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Identidades y Propiedades Teoremas Simplificacin de funciones del lgebra de Boole

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Leyes conmutativas de la suma y multiplicacin. Leyes asociativas de la suma y multiplicacin. Ley distributiva.

Que vienen siendo las mismas que las del lgebra ordinaria.
23/08/2013 16:47:46 2

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Leyes Conmutativas El orden en que se aplica a las variables la operacin OR es indiferente:
Ley conmutativa de la suma para dos variables

A+B = B+A

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Leyes Conmutativas El orden en que se aplica a las variables la operacin AND es indiferente:
Ley conmutativa de la multiplicacin para dos variables

A.B = B.A
23/08/2013 16:47:46 4

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Leyes Asociativas Al aplicar la operacin OR a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables: Ley asociativa de la suma para tres variables A + (B + C) = (A + B) + C

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Leyes Asociativas Al aplicar la operacin AND a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables: Ley asociativa de la multiplicacin para tres variables A.(B.C) = (A.B).C

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Leyes bsicas del lgebra de Boole:
Ley Distributiva Aplicar la operacin OR a dos o ms variables y luego aplicar la operacin AND al resultado de la operacin y a otra variable aislada, es equivalente a aplicar la operacin AND a la variable aislada con cada uno de los sumandos y luego aplicar la operacin OR a los productos resultantes. Esta ley tambin expresa el proceso de sacar factor comn, en el que la variable comn se saca como factor de los productos parciales.

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

23/08/2013 16:47:46 7

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Reglas Bsicas del lgebra de Boole Muy tiles para la manipulacin expresiones booleanas. y simplificacin de

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Demostraciones

23/08/2013 16:47:46

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Demostraciones

23/08/2013 16:47:46

10

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Demostraciones

23/08/2013 16:47:46

11

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Demostraciones

23/08/2013 16:47:46

12

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Demostraciones

23/08/2013 16:47:46

13

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Reglas Bsicas del lgebra de Boole

Otras Identidades

BB
A A
23/08/2013 16:47:47 14

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Reglas Bsicas del lgebra de Boole

Otras Identidades

01

1 0
23/08/2013 16:47:47 15

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
Teorema de absorcin
I ) X X Y X II ) X ( X Y ) X
A

Teorema
I ) X X Y X Y
II ) X ( X Y ) X Y
23/08/2013 16:47:47 16

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
A Teorema de Morgan

I ) X Y X Y
II ) X Y X Y
23/08/2013 16:47:47 17

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE

23/08/2013 16:47:47

18

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE

23/08/2013 16:47:47

19

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE

23/08/2013 16:47:47

20

11 B -- - IEDAR 2013 SISTEMAS DIGITALES

LGEBRA DE BOOLE
AB + A(B + C) + B(B + C)

B + AC
A

23/08/2013 16:47:47

21

LGEBRA DE BOOLE

LLEGO LA HORA DE DESARROLLAR UNOS EJERCICIOS

23/08/2013 16:47:47 22