Elementos Discretos

lgebra de Boole

Patricia Guerrero

Contenido
Resea Histrica Definicin del lgebra de Boole Principio de Dualidad Propiedades del lgebra de Boole Ejemplos Expresiones Booleanas Representacin de Expresiones Booleanas Formas Cannicas: Mintrminos y Maxtrminos Simplificacin: Mapas de Karnaugh Circuitos Lgicos

lgebra de Boole Resea Histrica

En 1854, desarrollo del lgebra Booleana por el filsofo y matemtico ingls George Boole lgebra Boolena Smbolos Algebraicos

Lgica

Computadoras Electrnicas

Sistema de Numeracin Binario

En 1869, primera mquina que utilizaba el lgebra Booleana. William Stanley Jevons.

lgebra de Boole Definicin

Un lgebra de Boole est definida por: Un conjunto no vaco K Un conjunto de operaciones que actan sobre los elementos de K y que deben cumplir ciertas condiciones. Dos operaciones binarias {*, } y una operacin unaria {-} Y se denota como:

K ! (K,*, , -, k1 , k 2 )

lgebra de Boole Definicin

K ! (K,*, , -, k1 , k 2 )
Cules son las condiciones? Conjunto Cerrado: * y son l.c.i Ley Conmutativa: * y son conmutativos Ley Asociativa: * y son asociativos
x*y=y*x xy=yx x * y, x y K k1, k2 K

(x * y) * z = x * (y * z) (x y) z = x (y z)

lgebra de Boole Definicin

K ! (K,*, , -, k1 , k 2 )
Cules son las condiciones?
x * (y z) =, (x * y) (x * z) x (y * z) =, (x y) * (x z)

Ley Distributiva: * y son distributivas una respecto de la otra Elementos Neutros: k1 y k2

x * k1 = x x k2 = x a* a = k2 = k1

Complementacin: Todo a K, admite un

lgebra de Boole Principio de Dualidad

Cualquier teorema deducible de los postulados del lgebra de Boole, puede transformarse en un segundo teorema o identidad vlida slo intercambiando * por y k1 por k2, o viceversa La demostracin de un teorema implica la validez de su teorema dual Ejemplos: a * = k2 ------ dual ------ a = k1 A = ------ dual ------ A U = U Q v | Q ------ dual ------ Q f | Q

lgebra de Boole Propiedades

Para cualquier lgebra de Boole K ! (K,*, , -, k 1 , k 2 ) se cumplen las siguientes propiedades, con x, y K: Idempotencia Absorcin Ley De Morgan Dominancia x*x=x xx=x x (x * y) = x (x y) = x * y x k1 = k1 x=x

x * (x y) = x (x * y) = x y x * k2 = k2

Doble Complementacin

lgebra de Boole Propiedades

Demostremos algunas propiedades: Idempotencia: x*x =x x * x = (x * x) k2 = (x * x) (x * x) = x * (x x) = x * k1 x*x =x

(1) (2) (3) (4) (5)

Elemento Neutro Complementacin Distributiva Complementacin Elemento Neutro

Es posible demostrar una propiedad del lgebra de Boole, algebraicamente o utilizando tablas de verdad

lgebra de Boole Propiedades

Demostremos algunas propiedades: Absorcin: x * (x y) = x x * (x y) = (x 1) * (x y) = x (1 * y) = x1 x * (x y) = x

(1) (2) (3) (4)

Elemento Neutro Distributiva Dominancia Elemento Neutro

lgebra de Boole Ejemplos

Ejemplo: Sea S un conjunto cualquiera, entonces

S (P(S),,, , , S)
es un lgebra de Boole.
Se cumplen las seis (6) condiciones: , : Son l.c.i. en P(S) , S: Son elementos neutros de , respectivamente , : Son conmutativos y asociativos , : Son distributivos uno respecto del otro Cada Si P(S) admite un Si, tal que Si Si = S y Si Si =

lgebra de Boole Ejemplos

Contraejemplo: La estructura

R ! (R,,*,,0,1)
no es un lgebra de Boole. Justificacin: + no es distributivo respecto de *
Neutro del operador *

Neutro del operador +

No se cumple la complementacin: x + (-x) = 0 { 1 x * (-x) = -(x2) { 0

lgebra de Boole Ejemplos

Modelo de Conmutacin:
Operacin Unaria, equivalente a

Con B = {1, 0}

B ! (B,  , . , , 0, 1)
Operaciones Binarias, equivalentes a , respectivamente

lgebra de Boole Ejemplos

Modelo de Conmutacin:
AND

Con B = {1, 0}

OR

NOT

B ! (B,  , . , , 0, 1)
1 y 0 representan las abstracciones activado y desactivado, equivalentes a verdadero y falso, respectivamente

lgebra de Boole Expresiones Booleanas

Operadores +, .

(x1 + x2) + (x3 . 0) + 1

Tres variables x 1, x 2 y x 3 Dos constantes 0y1

Una sucesin de variables (x1, x2, , xn), constantes (1, 0) y operadores (+, .) conforman una Expresin Booleana

lgebra de Boole Expresiones Booleanas

Definicin Formal: Una Expresin de Boole o Polinomio de Boole en las variables {x1,x2,...,xn} se define de forma recursiva como:
1. x1, x2, ..., xn son expresiones booleanas 2. 0, 1 son expresiones booleanas 3. Si E1(x1,x2,...,xn), E2(x1,x2,...,xn) son expresiones booleanas, entonces: E1 + E2 E1 . E2 Tambin son expresiones booleanas

4. No existen expresiones de Boole que no puedan obtenerse por 1, 2, o 3.

lgebra de Boole Funciones Booleanas

Una funcin booleana de n variables es una aplicacin f: n tal que 1 0

f(x1, x2, ..., xn) =

(x1, x2, ..., xn)

Toda Expresin Booleana define una Funcin Booleana que hace corresponder a cada n-tupla de Bn un valor de B

lgebra de Boole Funciones Booleanas

Ejemplo:

E x1 ,x 2 ,x3 ,x 4 ! x 1 .x 4  (x 2 .1)  x 3

Si asignamos valores a las variables (x1,x2,x3,x4) = (1,1,0,0)

x1 , x 2 , x 3 , x 4

! x 1.x 4  (x 2 .1)  x 3 ! 1.0  (1.1)  0 ! 0 11 !1

Representacin de Expresiones Booleanas

Una funcin booleana de n variables puede representarse en una tabla de la forma:

Representacin de Expresiones Booleanas

Ejemplo 1: Representar x1 0 0 0 0 1 1 1 1 x2 0 0 1 1 0 0 1 1 x3 0 1 0 1 0 1 0 1

f(x1 , x 2 , x 3 ) ! x1 .x 2  x 2 .x 3

f(x1,x2,x3) 0 0 1 0 1 1 1 0

(0,1,0) ! 0. 1  1.0 ! 0.0  1.1 ! 0 1 !1

Representacin de Expresiones Booleanas

Ejemplo 2: Dada la siguiente tabla de verdad obtener la expresin booleana asociada x1 0 0 x2 0 0 x3 0 1 f(x1,x2,x3) 1 0

0 1 0 1 Cmo se puede obtener la 0 1 expresin 1 1 booleana de f(x1,x2,x3) 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1

Representacin de Expresiones Booleanas

Ejemplo 2: Dada la siguiente tabla de verdad obtener la expresin booleana asociada, por suma de productos completa x1 0 0 0 0 1 1 1 1 x2 0 0 1 1 0 0 1 1 x3 0 1 0 1 0 1 0 1 f(x1,x2,x3) 1 0 1 1 0 0 0 1

x 1 .x 2 .x 3
x1 .x 2 .x 3 x 1 .x 2 .x 3
Productos Fundamentales

x 1 .x 2 .x 3

Representacin de Expresiones Booleanas

Ejemplo 2: Dada la siguiente tabla de verdad obtener la expresin booleana asociada, por producto de sumas completa x1 0 0 0 0 1 1 1 1 x2 0 0 1 1 0 0 1 1 x3 0 1 0 1 0 1 0 1 f(x1,x2,x3) 1 0 1 1 0 0 0 1

x1  x2  x3
x1  x2  x3
Sumas Fundamentales

x1  x2  x3 x1  x2  x3

Representacin de Expresiones Booleanas

Ejemplo 2: Dada la siguiente tabla de verdad obtener la expresin booleana asociada x1 x2 x3 f(x1,x2,x3)
0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1

(x1 , x 2 , x 3 ) ! x1x 2 x 3  x1x 2 x 3  x1x 2 x 3  x1x 2 x 3

Suma de Productos Completa

0 0 0 1 1 1 1

! (x 1  x 2  x 3 )(x 1  x 2  x 3 )(x 1  x 2  x 3 )(x 1  x 2  x 3 )

Producto de Sumas Completa

Formas Cannicas Mintrminos - Maxtrminos

Dec

x1 x2 x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

f(x1,x2,x3) 1 0 1 1 0 0 0 1

Mintrminos m0 m1 m2 m3 m4 m5 m6 m7

Maxtrminos M0 M1 M2 M3 M4 M5 M6 M7

0 1 2 3 4 5 6 7

x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3

x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3

Se observa que

mi ! M i

Formas Cannicas Mintrminos

Dec

x1 x2 x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

f(x1,x2,x3) 1 0 1 1 0 0 0 1

Mintrminos m0 m1 m2 m3 m4 m5 m6 m7

0 1 2 3 4 5 6 7

x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3 x 1 .x 2 .x 3

f(x1 , x 2 , x 3 ) ! m (0,2,3,7)

Formas Cannicas Maxtrminos

Dec

x1 x2 x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

f(x1,x2,x3) 1 0 1 1 0 0 0 1

Maxtrminos M0 M1 M2 M3 M4 M5 M6 M7

0 1 2 3 4 5 6 7

x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3 x1  x 2  x 3

(x1 , x 2 , x 3 ) ! M (1,4,5,6)

Conversin Mintrminos - Maxtrminos

Procedimiento: i. Intercambiar los smbolos y ii. Listar los ndices que faltan en la expresin booleana original Ejemplo:

(x 1 , x 2 , x 3 ) ! m (0,2,3,7) (x1 , x 2 , x 3 ) ! M (1,4,5,6)

Conversin Mintrminos - Maxtrminos

Qu sucede si complementamos?

(x1 , x 2 , x 3 ) ! m (0,2,3,7)
Dec

x1 0 0 0 0 1 1 1 1

x2 0 0 1 1 0 0 1 1

x3 0 1 0 1 0 1 0 1

f(x1,x2,x3) 1 0 1 1 0 0 0 1

f(x1,x2,x3) 0 1 0 0 1 1 1 0

Min m0 m1 m2 m3 m4 m5 m6 m7

Max M0 M1 M2 M3 M4 M5 M6 M7

0 1 2 3 4 5 6 7

Conversin Mintrminos - Maxtrminos

Qu sucede si complementamos?

f(x1 , x 2 , x 3 ) ! m (0,2,3,7) ! m0  m2  m3  m7 ! m0 .m2 .m3 .m7 ! M 0 .M 2 .M 3 .M 7 ! M (0,2,3,7)

Simplificacin de Expresiones Booleanas

Mapas de Karnaugh: Mtodo utilizado para simplificar funciones booleanas y as poder construir un circuito lgico ms sencillo y ms econmico

Circuito Lgico: Es un dispositivo fsico que maneja la informacin en forma de 1 s y 0 s, niveles alto y bajo, respectivamente. Su diseo sigue las leyes de la lgica proposicional. Se construye en base a elementos digitales llamados compuertas lgicas

Circuitos Lgicos Compuertas

Compuerta AND: Compuerta OR:

Compuerta NOT:

Simplificacin de Expresiones Booleanas

Cmo construir un Mapa de Karnaugh? Mapa de dos variables: x 0 1 Mapa de tres variables: x yz 0 1 00 m0 m4 01 m1 m5 y 0 m0 m2 1 m1 m3

11 m3 m7

10 m2 m6

Simplificacin de Expresiones Booleanas

Mapa de cuatro variables:
El orden de las combinaciones hace que los cuadros vecinos sean adyacentes m0 es vecino de m1 son adyacentes m12 no es vecino de m15 no son adyacentes

xy

zw

00 m0 m4 m12 m8

01 m1 m5 m13 m9

11 m3 m7 m15 m11

10 m2 m6 m14 m10

00 01 11 10

Simplificacin de Expresiones Booleanas

Cmo hacer la simplificacin? Paso 1: Seleccionar cuadros adyacentes de valor igual a 1. El nmero de cuadros seleccionados debe ser potencia de 2. xy zw 00 1 1 01 1 1 1 1 1 1 1 11 10
No son Adyacentes

Son Adyacentes Son Adyacentes pero no son potencia de 2

00 01 11 10

Simplificacin de Expresiones Booleanas

Cmo hacer la simplificacin? Paso 2: Generar el trmino asociado a cada grupo. Slo aparecen las variables que no cambian su valor al pasar de un cuado al otro xy zw 00 1 1 01 1 1 1 1 1 1 1 11 10

xyw xyzw xyw

xz

00 01

yz

11 10

Simplificacin de Expresiones Booleanas

Cmo hacer la simplificacin? w xy zw 00 1 1 01 1 1 1 y x 11 10 1 1 1 z 1 11 10

xy

yz

00 01

Simplificacin de Expresiones Booleanas

Cmo hacer la simplificacin? Paso 3: Sumar todos los trminos obtenidos en el Paso 2

f(x, y, z, w) ! xz  yz  xyw  xyzw  xyw

xy zw 00 1 1 01 1 1 1 1 1 1 1 11 10

xyw

xz
yz

00 01 11 10

xyzw
x yw

Simplificacin Circuitos Lgicos

Paso 4: Disear el circuito lgico asociado a la funcin booleana simplificada obtenida en el Paso 3

f(x, y, z, w)

! xz  yz  xyw  xyzw  xyw

lgebra de Boole Circuitos Lgicos - Software

Programa para la captura de sistemas digitales

Programa para la simplificacin de Mapas de Karnaugh de 4 variables

Otros: LogicAid, CircuitMaker, DesignWorks Professional con Simulador

Para quienes no ansan sino ver, hay luz bastante; ms para quienes tienen opuesta disposicin, siempre hay bastante oscuridad Pascal

Gracias por su atencin!

Preguntas?

lgebra de Boole Resea Histrica

En 1854, desarrollo del lgebra Booleana por el filsofo y matemtico ingls George Boole Smbolos lgebra = Lgica + Comienza as el lgebra de la lgica: Algebra Algebraicos Booleana Boolena Como mtodo para resolver problemas lgicos usando solamente los valores binarios 1 y 0, y tres operadores: AND (y), OR (o) y NOT (no) Sistema de Computadoras Electrnicas Numeracin Binario

En 1869, primera mquina que utilizaba el lgebra Booleana. William Stanley Jevons.

lgebra de Boole Resea Histrica

El primer inters de George fueron los idiomas. A la edad de 12 aos lleg a ser tan hbil en Latn que provocaba controversia No estudi para un grado acadmico, a la edad de 16 aos fue profesor auxiliar de colegio. Sus primeras instrucciones en matemtica fueron de su padre. Desde 1835, comenz a estudiar matemticas por si mismo, era un gran autodidacta Publico obras relacionadas con ecuaciones diferenciales, diferencias finitas y mtodos generales en probabilidad

lgebra de Boole Definicin

En definitiva,

! ( ,*, , -, k1 , k 2 )
Es un Estructura Algebraica (EA), que cumple ciertos postulados o condiciones especiales

! ( , 1 , 2 ,..., k1 , k 2,... )

es una EA, donde:

K: Portador del lgebra, K { fi: Operaciones l.c.i. definidas en K, i = 1,2, ,n ki: Elementos Neutros, i = 1,2, ,n

lgebra de Boole Ejemplos

Ejemplo 2: Sea P el conjunto de todas las proposiciones lgicas entonces,

P ! (P,,, , , v)
es un lgebra de Boole.
Se cumplen las seis (6) condiciones: , : Son l.c.i. en P(S) f, v: Son elementos neutros de , respectivamente , : Son conmutativos y asociativos , : Son distributivos uno respecto del otro Cada p P admite un p, tal que p p | v y p p | f

lgebra de Boole Funciones Booleanas

Variable: Son smbolos que pueden tomar cualquier valor del conjunto B = {0,1}. Se representan con letras minsculas

Constante: Un elemento del conjunto B en la expresin. Las constantes pueden ser 0 1.

Literal: Ocurrencia de una variable o su complemento en una expresin.

Representacin de Expresiones Booleanas

Una funcin booleana de n variables puede representarse en una tabla de la forma: Cmo construir esta tabla? Una columna para cada variable Una columna para el resultado de la evaluacin Generar todas las combinaciones de valores 0 y 1 para las variables

Representacin de Expresiones Booleanas

Es posible reproducir una expresin booleana utilizando suma de productos completa o el producto de sumas completa

Todo funcin booleana puede determinarse a travs de una expresin booleana llamada forma normal Toda tabla de verdad contiene: Una f.n.d. completa Valuacin final contiene al menos un v Una f.n.c. completa Valuacin final contiene al menos un f

Formas Cannicas Mintrminos - Maxtrminos

Mintrmino: Factor normal formado por el producto de tantos literales como variables tenga la expresin booleana Ejemplos:

x1 .x 2 .x 3 , x 1 .x 2 .x 3 , x 1 .x 2 .x 3

Maxtrmino: Factor normal formado por la suma de tantos literales como variables tenga la expresin booleana Ejemplos:

x1  x2  x3 , x1  x2  x3 , x1  x2  x3

Circuitos Lgicos Compuertas

Compuerta AND:

Con dos o ms entradas, esta compuerta realiza la funcin booleana de la de la multiplicacin (.). Su salida ser un 1 cuando todas sus entradas estn en nivel alto. En cualquier otro caso, la salida ser un 0.

Circuitos Lgicos Compuertas

Compuerta OR:

Con dos o ms entradas, esta compuerta realiza la funcin de la suma (+). Su salida ser 1 cuando al menos una de sus entradas est en estado alto. En cualquier otro caso, la salida ser 0.

Circuitos Lgicos Compuertas

Compuerta NOT:

Recibe una nica entrada y presenta en su salida el valor opuesto del que recibe como entrada. En efecto, realiza la funcin booleana de la complementacin.

Circuitos Lgicos Compuertas

Otras Compuertas: Resultan de la combinacin de las compuertas AND, OR y NOT NAND NOR

Simplificacin de Expresiones Booleanas

Dos trminos son adyacentes si tienen las mismas variables con el mismo estado de complemento, a excepcin de una de ellas. Ejemplo:

xyz

xyz

son adyacentes

Los trminos adyacentes se pueden simplificar fcilmente,

xyz  xyz ! (x  x)yz ! 1.yz ! yz

Simplificacin de Expresiones Booleanas

En el Mapa de Karnaugh tambin se presenta adyacencia entre la primera y ltima fila; as como entre la primera y ltima columna

xy

zw

00 m0 m4 m12 m8

01 m1 m5 m13 m9

11 m3 m7 m15 m11

10 m2 m6 m14 m10
Son Adyacentes

00 01 11 10

Simplificacin de Expresiones Booleanas

En el Mapa de Karnaugh tambin se presenta adyacencia entre la primera y ltima fila; as como entre la primera y ltima columna
Son Adyacentes

xy

zw

00 m0 m4 m12 m8

01 m1 m5 m13 m9

11 m3 m7 m15 m11

10 m2 m6 m14 m10

00 01 11 10

Simplificacin de Expresiones Booleanas

Dos cuadros son adyacentes slo si varia el valor de una nica variable al pasar de un cuadro al otro

Son Adyacentes Son Adyacentes pero no son potencia de 2

xy

zw

00 1 1

01 1 1

11

10
No son Adyacentes

00 01 11 10

1 1