LGEBRA DE BOOLE

El lgebra de Boole es un sistema de elementos, unos y ceros, B={0,1}; y los operadores binarios
AND, OR y NOT, definidos de la siguiente manera:

OR AND
A B A+B AB
0 0 0 0
0 1 1 0
1 0 1 0
1 1 1 1

Que cumplen las siguientes propiedades:
-Conmutativa


-Distributiva
( )
()
-Elementos neutros diferentes


-Siempre existe el complemento de A, denominado A

Teoremas del lgebra de Boole
-El elemento complemento A es nico.
-Elementos nulos


-Cada elemento es el complemento de otro

-Idempotencia


-Involucin
(

-Absorcin

( )
-Para cada par de elementos B

() ()
-Asociatividad
( ) ( )
() ()
-Leyes de Morgan
( )

()

Ejemplo:

) (

NOT
A A
0 1
1 0
Mapas de Karnaugh

Representacin grfica de las tablas de verdad. Cada celda representa un minitrmino.
-Minitrmino: Es un producto booleano en la que cada variable aparece slo una vez; es decir, es
una expresin lgica que se compone de variables y los operadores lgicos AND y NOT. P. ejem.
ABC y ABC.
-Maxitrmino: Es una expresin lgica que se compone de variables y los operadores lgicos OR y
NOT. P. ejem. A+B+C y A+B+C.

Siguiendo con el ejemplo anterior:
BC BC BC BC
A 1 1
A 1 1
Se toman las variables en comn en ambos grupos, para el primero es AB, y en el segundo es
AC: