Anda di halaman 1dari 40

ALGEBRA BOOLEANA

lgebra de Boole El lgebra booleana es la teora matemtica que se aplica en la lgica combinatoria. Las variables booleanas son smbolos utilizados para representar magnitudes lgicas y pueden tener slo dos valores posibles: 1 (valor alto) 0 (valor bajo). El lgebra booleana proporciona las operaciones y reglas para trabajar con el conjunto {0,1}. Los conmutadores elctricos y pticos pueden ser estudiados usando este conjunto y las reglas del lgebra booleana. Las 3 operaciones booleanas mas usadas son: Complemento (denotado con una barra superior) es definido como: 0 = 1
y 1= 0

Suma (denotada por + o por OR) es definida como: 1+1=1, 1+0=1, 0+1=1 y 0+0=0 Producto (denotado por . o por AND) es definido como: 1.1=1, 1.0=0, 0.1=0 y 0.0=0
1 Matemticas Discretas

ALGEBRA BOOLEANA
Las reglas de precedencia son: complemento, AND y OR. Es claro que el complemento y la suma y producto bolanos corresponden a los operadores lgicos , y respectivamente donde 0 corresponde a falso (F) y 1 corresponde a verdadero (V).
1.0 + (0 + 1) Ej: Evaluar Sol: Utilizando las definiciones de complemento, la suma booleana y el producto booleano se tiene que:
1.0 + (0 + 1) = 0 + 1 =0+0 =0

Matemticas Discretas

ALGEBRA BOOLEANA
Expresiones booleanas y Funciones Booleanas Sea B={0,1}. Entonces Bn={(x1, x2,...xn) xiB para 1 i n} es el conjunto de todas las tuplas posibles de 0s y 1s. La variable x es llamada una variable booleana si ella asume valores solo de B (0 y 1). Una funcin de Bn en B es llamada una funcin booleana de grado n. Ej: La funcin F(x,y)= es una funcin de grado 2 con los siguientes valores
x 1 1 0 0 y 1 0 1 0 F(x,y) 0 1 0 0

La funcin F ( x, y ) = x y es una funcin de grado 2, con F(0,0)=0, F(1,0)=1, F(0,1)=0 y F(1,1)=0

Matemticas Discretas

ALGEBRA BOOLEANA
Ej: Calcular los valores de la funcin booleana F(x,y,z)=xy+z 1=(Z+Z)
x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 xy 1 1 0 0 0 0 0 0 z 0 1 0 1 0 1 0 1 F(x,y,z)=xy+z 1 1 0 1 0 1 0 1

xyz Xyz XYZ

XYZ XYZ

XY+Z=XYZ+XYZ+XYZ+XYZ

Matemticas Discretas

ALGEBRA BOOLEANA
Una funcin booleana de grado dos es una funcin de un conjunto de cuatro elementos, a saber, todos los pares de elementos de B={0,1}, en B, un conjunto con dos elementos. Por tanto hay 16 funciones booleanas diferentes de grado 2.
x 1 1 0 0 y F1 F2 1 1 1 0 1 1 1 1 1 0 1 0 F3 1 1 0 1 F4 1 1 0 0 F5 1 0 1 1 F6 1 0 1 0 F7 1 0 0 1 F8 1 0 0 0 F9 0 1 1 1 F10 F11 F12 F13 F14 F15 F16 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0

La cantidad de funciones booleanas de grado n son: Por ejemplo:

2n

F6 = xy + x y

Matemticas Discretas

ALGEBRA BOOLEANA
Propiedades de un lgebra de Boole
Identidades booleanas Identidad __
x=x x+x=x x.x =x x+0=x x.1 =x x+1=1 x.0 =0 x+y=y+x x.y =y.x x + (y + z) = (y + x) + z x . (y . z) = (y . x) . z x + (y . z) = (x + y) . (x + z) x . (y + z) = (x . y) + (x . z) x. y = x + y x + y = x. y x + x.y = x x . (x + y) = x x + x =1 x.x = 0
6

Nombre Doble complemento Idempotencia Identidad Dominacin Conmutativa Asociativa Distributiva De morgans Absorcin Propiedad unidad Propiedad cero
Matemticas Discretas

ALGEBRA BOOLEANA
Ej: Demostrar que se cumple la propiedad distributiva x(y+z)=xy+xz
x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 y+z 1 1 1 0 1 1 1 0 xy 1 1 0 0 0 0 0 0 xz 1 0 1 0 0 0 0 0 x(y+z) xy+xz 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0

Ej: Probar la ley de absorcin x(x+y)= x usando las otras identidades. Sol: x.(x+y) = (x+0).(x+y) (identidad suma booleana ) = x + (0.y) (distrib. suma booleana s/ el prod. booleano) = x + (y.0) (conmutativa producto booleano) =x+0 (dominacin producto booleano) =x (identidad suma booleana).

Matemticas Discretas

ALGEBRA BOOLEANA
Ej: Simplificar F=
F = A BC + A BC F = A B(C + C) F = AB

F = (A + B)(A + B) F = A A + A B + AB + BB F = A B + AB
F = [(A + C)(B + D)] F = ( A + C) + ( B + D ) F = AC + BD

F = (X + Z)( Z + WY) + (VZ + W X)(Y + Z)

Matemticas Discretas

EJERCICIOS
Simplificar:

Calculas los valores de las siguientes funciones booleanas:

Realizar los ejercicios del Libro de Rosen: Problemas Complementarios 1 y 2. Tema: lgebra Boole. Pgina: 653.

ALGEBRA BOOLEANA
Dualidad Es una expresin booleana que se obtiene intercambiando entre s la suma y el producto booleanos, as como los ceros y unos. Ej: Calcular el dual de x(Y+0) = x+(Y . 1) X . 1 +(Y + z) = (X + 0) . (Y+z)

El dual de una funcin booleana F representado por una expresin booleana es la funcin representeada por el dual de dicha expresin. Se denota por Fd. Una igualdad entre funciones booleanas sigue siendo vlida cuando se toman duales a ambos lados de la igualdad (Principio de la dualidad), el cual es muy til para la obtencin de nuevas propiedades

Matemticas Discretas

ALGEBRA BOOLEANA
Representacin de Funciones Booleanas A partir de los valores de una funcin booleana, se va a obtener una expresin booleana que represente a dicha funcin (Suma de Productos), utilizando los tres operadores booleanos (+ . ) Determinar el mnimo conjunto de operadores para representar dichas funciones. Desarrollo en suma de productos Toda funcin booleana se puede representar mediante una suma booleana de productos booleanos de variables y variables complementadas.

10

Matemticas Discretas

ALGEBRA BOOLEANA
Ej: Para cada una de las funciones F(x,y,z) y G(x,y,z), calcular una expresin booleana que la represente.
x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 F 0 0 1 0 0 0 0 0 G 0 1 0 0 0 1 0 0

Sol: Para representar a F se necesita una expresin que valga 1 cuando x=1,y=0 y z=1. Esa expresin sera: x y z Para representar a G, se necesita una expresin que valga 1 cuando x=1,y=1,z=0 o cuando x=0,y=1, y z=0. La expresin quedara: xy z + x y z

11

Matemticas Discretas

ALGEBRA BOOLEANA
Miniterm Un literal es una variable booleana o su complemento. Un minterm de las variables booleanas x1,x2,...xn es un producto booleano y1,y2,...yn, donde yi=xi o yi=Xi. Por ello, un minterm es un producto de n literales, con un literal por cada variable. Un minitrmino vale 1 para una y slo una combinacin de sus variables Los minterms en una suma booleana corresponde a las combinaciones para las cuales la funcin tiene el valor 1. La suma de minterms que representa esta funcin es llamada la expansin en suma de productos o la forma normal disyuntiva de la funcin booleana. Del ejemplo anterior:

G = xy z + x y z

12

Matemticas Discretas

ALGEBRA BOOLEANA
Ej: Hallar la FND de la funcin F(x,y,z) = (x+y)Z Sol: Existen dos maneras. La primera desarrollar y simplicar el producto utilizando las propiedades del algebra booleana F(x,y,z) = (x+y)Z = xZ + yZ Distributiva = x1Z +1yZ Identidad = x(y+Y)Z+(x+X)yZ Inverso = xyZ+xYZ+xyZ+XyZ Distributiva = xyZ+xYZ+XyZ Idempotencia La segunda consiste en calcular los valores de F para todos los valores posibles de las variables x,y,z. x y z x +y Z (x +y )Z
1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0

F(x,y,z)= (x+y)Z F(x,y,z)= xyZ+xYZ+XyZ

13

Matemticas Discretas

ALGEBRA BOOLEANA
Completitud Funcional Es claro que cada funcin booleana puede ser expresada como una suma de minterminos, es decir puede ser representada usando los operadores del conjunto {+ , . , } por lo cual podemos decir que este es funcionalmente completo. Es claro tambin que podemos eliminar todas las sumas booleanas aplicando las leyes de morgan, pues, x+y= X Y es decir las funciones pueden ser representadas usando los operadores del conjunto {+ , . , } por lo cual podemos decir que este conjunto tambin funcionalmente completo. Igualmente podemos eliminar todas los productos booleanos aplicando las leyes de morgan, pues xy= X+Y , es decir las funciones pueden ser representadas usando los operadores del conjunto {+, } por lo cual podemos decir que este conjunto tambin es funcionalmente completo.

14

Matemticas Discretas

ALGEBRA BOOLEANA
Si se definen los operadores NAND () y NOR () cuyas tablas las cuales son definidos como: Operador Definicin NAND 11 = 0 10 = 1 01 = 1 00 = 1 NOR 11 = 0 10 = 0 01 = 0 00 = 1 Ambos operadores son funcionalmente completos.
X =X|X XY = (X | Y) | (X | Y) X + Y = (X | X) | (Y | Y)
X=XX XY = (X X) (Y Y) X + Y = (X Y) (X Y)
15 Matemticas Discretas

ALGEBRA BOOLEANA
Operador NAND Definicin 11 = 0 10 = 1 01 = 1 00 = 1 11 = 0 10 = 0 01 = 0 00 = 1

NOR

X =X|X XY = (X | Y) | (X | Y) X + Y = (X | X) | (Y | Y)
X 1 1 0 0 Y 1 0 1 0 X|X Y|Y X|Y 0 0 1 1 0 1 0 1 0 1 1 1 XY X+Y (X|Y)|(X|Y) (X|X)|(Y|Y) 1 1 0 1 0 1 0 0

X=XX XY = (X X) (Y Y) X + Y = (X Y) (X Y)
X 1 1 0 0
16

Y 1 0 1 0

XX YY XY 0 0 1 1 0 1 0 1 0 0 0 1

XY X+Y (XX)(YY)(XY)(XY) 1 1 0 1 0 1 0 0
Matemticas Discretas

ALGEBRA BOOLEANA
Puertas Lgicas El Igebra de Boole se utiliza para modelar los circuitos de dispositivos electrnicos. Cada entrada y salida de estos dispositivos se puede ver como un elemento del conjunto (O, I ). Un computador, u otro dispositivo elctrico, se compone de un cierto nmero de circuitos. Cada circuito se puede disear utilizando las reglas del Igebra de Boole estudiadas. Los elementos bsicos de los circuitos se llaman puertas Igicas. Cada tipo de puerta implemen-ta una operacin booleana Circuitos Combinacionales Producen una salida que depende solamente de la entrada y no del estado actual del circuito. (No tienen memoria). Se van a utilizar la puertas lgicas y la reglas del algebra de boole para disear circuitos.
17 Matemticas Discretas

ALGEBRA BOOLEANA
Puerta Not - Inversor

Tiene como entrada el valor de una variable booleana y produce como salida el complemento de dicho valor Puerta OR

Las entradas de esta puerta son los valores de dos o ms variables booleanas. La salida es la suma booleana de estos valores. Puerta AND Las entradas de esta puerta son los valores de dos o ms variables booleanas. La salida es el producto booleano de estos valores
18 Matemticas Discretas

ALGEBRA BOOLEANA
Combinaciones de Puertas Los circuitos combinacionales se pueden construir utilizando una combinacin de los tres tipos puertas NOT, OR y AND. Al construir combinaciones de circuitos puede ocurrir que varias puertas tengan entradas comunes. Esto da lugar a dos formas de representacin grfica de los circuitos. Indicar separadamente las entradas para cada puerta

19

Matemticas Discretas

ALGEBRA BOOLEANA
Utilizar ramificaciones para indicar todas las puertas que comparten una misma entrada.

La salida de una puerta se puede emplear como entrada de una o ms puertas

20

Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplos

( x + y ). y

( xy )

( xy ) + ( z + x)

21

Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplos:

( x + y) x

x ( y +z )

( x + y + z )( x y z )

22

Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplo de Circuitos Un comit formado por tres personas toma las decisiones en una organizacin. Para ello, cada individuo vota s o no a cada propuesta fomulada. Una propuesta prospera si recibe al menos dos de los tres votos. Disea un circuito que determine cundo prospera una propuesta. Solucin: Representamos con la variable x el voto del primer individuo: x = 1 indica que vota s y x=0 el caso contrario. Con y=1 que el segundo individuo vota si y con y = O que vota no; por Itimo, denotaremos con z = 1 que el tercer individuo vota s y con z = O que vota no. En esas condiciones, debemos disear un circuito que produzca un 1 a partir de las variables x, y y z cuando dos o ms de estas variables valgan 1.

es xy + xz + yz

Una representacin de la funcin booleana que produce esta salida

23

Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplo de Circuitos Algunas veces las instalaciones elctricas se controlan mediante ms de un interruptor. Los circuitos tienen que ser diseados de modo que al accionar cualquier interruptor de la instalacin la luz se encienda si est apagada y se apague si est encendida. Disear un circuito que modele esta situacin para el caso de dos interruptores. Solucin: Definimos x = 1 si el primer interruptor est cerrado y x = O si est abierto, y definimos y = 1 si el segundo interruptor est cerrado e y = O si est abierto. Sea F(x, y) = 1 si la luz est encendida y F(x, y) = O si est apagada. Podemos decidir arbitrariamente que la luz est encendida si ambos interuptores estn cerrados, esto es, F(1, 1) = 1. Esto determina los restantes valores de F. Cuando uno de los interruptores se abre, la luz se apaga, luego F(1,0)=F(0,1)=0. Si ambos estn abiertos, la luz se enciende. Por tanto F(0,0)=1.

24

Matemticas Discretas

ALGEBRA BOOLEANA
La tabla muestra los valores de la funcin, tomando como entrada los estados de los interruptores.
x 1 1 0 0 y 1 0 1 0 F(x,y) 1 0 0 1

Se observa que Y el circuito quedara

F ( x, y ) = xy + x y

25

Matemticas Discretas

ALGEBRA BOOLEANA
Otras Puertas: NAND, NOR, EXOR. La mayora de circuitos compuertas NAND, y NOR. electrnicos se implementan utilizando

Para ello se tiene en cuenta la representacin de las operaciones bsicas (negacin, suma y producto) booleanas, utilizando slo un tipo de compuerta (Diapositiva 16), y las leyes de morgan. Investigar.

26

Matemticas Discretas

ALGEBRA BOOLEANA
Minimizacin de circuitos La eficiencia de un circuito combinacional depende del nmero de puertas que tenga y de la disposicin de stas. El proceso de disear un circuito combinacional comienza con la tabla que especifica las salidas para cada combinacin de valores de entrada. Para obtener un conjunto de puertas Igicas que implemente este circuito siempre podemos usar la forma normal disyuntiva del circuito. Sin embargo, la forma normal disyuntiva puede tener muchos ms sumandos de los necesarios. Se pueden combinar entre s dos sumandos de una forma normal disyuntiva que difieren en una sola variable de manera que en un sumando aparezca dicha variable y en el otro sumando lo haga su complementario. Por ejemplo, consideremos el circuito que tiene salida 1 si, y slo si, bien x = y = z = 1 o bien x = z = 1 e y = O. La forma normal disyuntiva de este circuito es xyz + x yz

27

Matemticas Discretas

ALGEBRA BOOLEANA
Los dos sumandos de este desarrollo difieren en exactamente una variable, a saber, y. Estos sumandos se pueden combinar del modo siguiente:

xyz + x yz = ( y + y )( xz ) = 1.( xz ) = xz

Por tanto, xz es una expresin booleana con menos operadores que representa igualmente al circuito

28

Matemticas Discretas

ALGEBRA BOOLEANA
Diagramas de Karnaugh K-Diagrama Para reducir el nmero de trminos de una expresin booleana que representa a un circuito hace falta encontrar trminos que se puedan combinar entre si. La idea es buscar que las funciones booleanas dependan de relativamente pocas variables. En la forma normal disyuntiva de una funcin de dos variables x, y hay cuatro posibles minitrminos. Un K-diagrama para una funcin booleana de dos variables consta de cuatro celdas. Se coloca un 1 en la celda que representa a un minitrmino si este minitrmino aparece en el desarrollo de la funcin.

Se dice que dos celdas son adyacentes si los minitrminos que representan difieren en exactamente un literal. Por ejemplo, la celda que representa a x y es adyacente a las celdas que representan a xy y a x y
29 Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplo: Calcular los siguientes K Diagramas. Solucin: Se coloca un 1 en una celda si el minitrmino representado por esa celda es un sumando de la FND.

x y + xy

xy + x y

x y + xy + x y

Siempre que haya unos en dos celdas adyacentes del K-diagrama, los minitrminos representados por estas celdas se pueden combinar entre s dando lugar a un trmino que depende slo de una de las vanables.
xy y xy Estn adyacentes y pueden combinarse para producir y , ya que x y + x y = ( x + x) y = y
30 Matemticas Discretas

ALGEBRA BOOLEANA
Solucin: Simplificando la FND, utilizando agrupamiento (2 variables)

xy + x y

x y + xy

x y + xy

x y + xy + x y

x+ y

31

Matemticas Discretas

ALGEBRA BOOLEANA
K-Diagrama de 3 Variables Un K-diagrama de tres variables es un rectngulo dividido en ocho celdas.

Dos celdas son adyacentes si los minitrminos que representan difieren exactamente en un literal Este diagrama puede verse como un cilindro, donde dos celdas tienen un lado comn si, y solo si, son adyacentes Los bloques 2x2 y 1x4 se pueden representar con una variable El bloque de 4x2 representa un trmino sin literales, es decir la funcion 1. Los bloques de dos celdas adyacentes representan parejas de minitrminos que se pueden combinar dando lugar a un producto de dos literales.
32 Matemticas Discretas

ALGEBRA BOOLEANA

33

Matemticas Discretas

ALGEBRA BOOLEANA
xy z + x y z + x yz + x y z x yz + x y z + x yz + x yz + x y z

x z + y z + x yz

y + xz

xyz + xy z + x yz + x y z + x yz + x yz + x y z

xy z + x y z + x yz + x y z

x+ y+z
34

xz + yz + x y
Matemticas Discretas

ALGEBRA BOOLEANA

wyz + wx z + w x y + w x y + wx yz

w x y + z + wx

wxy + x z + y z
35 Matemticas Discretas

ALGEBRA BOOLEANA
Mtodo de Quine-McCluskey Mtodo alternativo al de Karnaugh, el cual tiene dos inconvenientes: Se vuelve dificil de utilizar cuando son ms de 4 variables Es un mtodo que usa la inspeccin visual para su ejecucin La idea es utilizar un mtodo para simplificar desarrollos en sumas de productos que puede automatizarse, y que pueda utilizarse par acualquier nmero de variables Consta de 2 partes La primera determina que trminos son candidatos a ser includos en un desarrollo mnimo como una suma booleana de productos booleanos La segunda determina cuales de esos trminos se utilizan finalmente

36

Matemticas Discretas

ALGEBRA BOOLEANA
Metodologia: 1) Expresar cada minitrmino en formato binario. 2) Agrupar las cadenas segn el nmero de unos que tengan. 3) Combinar todas las cadenas que difieran en uno de los literales, cambiando el literal que difiere por un -, y dejando el resto de la cadena igual, y agregar la nueva cadena a un segundo grupo, sobre el cual se harn futuras combinaciones. Iterar hasta que no se consigan nuevas combinaciones, en ambos grupos 4) Conformar un conjunto minimal de productos (candidatos), con aquellos que no se utilizaron para conformar nuevos productos con menos literales, y con aquellos que resultaron de la combinacin de trminos originales 5) Conformar el grupo que represente la funcin booleana, tomando primero los trminos candidatos escenciales (aquellos que son los nicos que recubren un minitrmino), y luego rechazando los redundantes (es decir aquellos cuya cobertura ya no aplica),
37 Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplo: Obtener una expresin minimal equivalente a: Solucin:

xyz + x yz + x yz + x yz + x y z

1 2 3 4 5

Minitrmino Cadena de Nmero de Bits Bits xyz 111 3 x Yz 101 2 Xy z 011 2 XYz 001 1 XZZ 000 0

Paso 1 Trmino Cadena (1,2) (1,3) (2,4) (3,4) (4,5) xz yz Yz Xz XY 1-1 -11 -01 0-1 00(1,2,3,4)

Paso 2 Trmino Cadena z --1

z XY

xyz X

x Yz X

Xy z X

XYz X X

XYZ X

Respuesta:

z + xy
38 Matemticas Discretas

ALGEBRA BOOLEANA
Ejemplo: Obtener una expresin minimal equivalente a: Solucin:

wxy z + w x yz + w x y z + wxyz + wx yz + w x yz + w x yz
Paso 1 Trmino Cadena (1,4) (2,4) (2,6) (3,5) (3,6) (5,7) (6,7) w yZ w Xy Xy z Wx z Wy z WYz WXz
w Xy Z X X X

1 2 3 4 5 6 7

Minitrmino Cadena de Nmero de Bits Unos w xyZ 1110 3 w Xy z 1011 3 Wx y z 0111 3 w Xy Z 1010 2 Wx Yz 0101 2 WXy z 0011 2 WXYz 0001 1
w xyZ Wz w yZ w Xy Xy z X X X w Xy z

Paso 2 Trmino Cadena (3,5,6,7) Wz 0--1

1-10 101-011 01-1 0-11 0-01 00-1


Wx Yz X

Wx y z X

WXy z X

WXYz X

Respuesta:

wz + wy z + w x y

wz + wy z + x yz
39 Matemticas Discretas

Anda mungkin juga menyukai