ALGEBRA DE BOOLE

Sistemas Digitales

Introduccin

Aproximadamente en el ao 1850 George Boole, desarroll un sistema algebraico para formular proposiciones con smbolos.

George Boole 1815-1864

Arquitectura de Computadores

Introduccin

Su lgebra consiste en un mtodo para resolver problemas de lgica que recurre solamente a los valores binarios 1 y 0 y a tres operadores:

AND (y) OR (o) NOT (no)

George Boole 1815-1864

Arquitectura de Computadores

Variables Booleanas

Las variables Booleanas slo toman los valores binarios: 1 0. Una variable Booleana representa un bit que quiere decir:
Binary digIT

Arquitectura de Computadores

Operaciones Booleanas: OR
Operacin OR:

x 0

y 0

x+y 0

0
1 1

1
0 1

1
1 1

Arquitectura de Computadores

Operaciones Booleanas: OR
Operacin OR:

x 0

y 0

x+y 0

0
1 1

1
0 1

1
1 1

Si una de las entradas es 1, entonces la salida es 1

Arquitectura de Computadores

Operaciones Booleanas: OR
Compuerta OR:

x +y
y

Arquitectura de Computadores

Operaciones Booleanas: AND

Operacin AND:

x 0

y 0

xy 0

0
1 1

1
0 1

0
0 1

Arquitectura de Computadores

Operaciones Booleanas: AND

Operacin AND:

x 0

y 0

xy 0

0
1 1

1
0 1

0
0 1

Si una de las entradas es 0, entonces la salida es 0

Arquitectura de Computadores

Operaciones Booleanas: AND

Compuerta AND:

x xy y

Arquitectura de Computadores

Operaciones Booleanas: NOT

Operacin NOT:

Arquitectura de Computadores

Operaciones Booleanas: NOT

Operacin NOT:

La salida es la negacin de la entrada

Arquitectura de Computadores

Operaciones Booleanas: NOT

Compuerta NOT:

Arquitectura de Computadores

Operaciones Booleanas: Aplicacin

Ejercicio:

Encontrar w

= x y + y z para todas las combinaciones.

Arquitectura de Computadores

Operaciones Booleanas: Aplicacin

Ejercicio:

Encontrar w

= x y + y z para todas las combinaciones.

x 0 0 0 y 0 0 1 z 0 1 0 xy 0 0 0 yz 0 0 0 w 0 0 0

0
1

1
0

1
0

0
1

1
0

1
1

1
1

0
1

1
0

1
0

0
0

1
0

Arquitectura de Computadores

Algebra Booleana: Identidad

Postulados de Identidad:

0+x = ?
1x = ?

Arquitectura de Computadores

Algebra Booleana: Identidad

Postulados de Identidad:

0+x =x
1x =x

Arquitectura de Computadores

Algebra Booleana: Propiedades

Propiedad conmutativa:

x + y
xy

= ?
= ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Propiedad conmutativa:

x + y
xy

= y+x
= yx

Arquitectura de Computadores

Algebra Booleana: Propiedades

Axiomas de complemento:

x x = ?
x + x = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Axiomas de complemento:

x x =0
x + x =1

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de idempotencia:

xx = ?
x + x = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de idempotencia:

xx =x
x + x =x

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de elementos dominantes:

x 0 =?
x + 1=?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de elementos dominantes:

x 0 =0
x + 1=1

Arquitectura de Computadores

Algebra Booleana: Propiedades

Propiedad distributiva:

x(y+ z) =

x +(yz) = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Propiedad distributiva:

x(y+ z) = xy + xz
x +(yz) = (x+y)(x+z)

Arquitectura de Computadores

Algebra Booleana: Propiedades

Ley involutiva:

(x)= ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Ley involutiva:

(x)= x

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de absorcin:

x +xy

= ?

x(x+y) = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema de absorcin:

x +xy

= x

x(x+y) = x

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema del consenso:

x +xy

= ?

x(x+y) = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema del consenso:

x +xy

= x+y

x(x+y) =xy

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema asociativo:

x +(y + z)= ?
x(yz) = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Teorema asociativo:

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

x(yz) = ( x y) z

Arquitectura de Computadores

Algebra Booleana: Propiedades

Leyes de Morgan:

(x + y)= xy
(xy) = ?

Arquitectura de Computadores

Algebra Booleana: Propiedades

Leyes de Morgan:

(x + y)= xy
(xy) = x+y

Arquitectura de Computadores