Vous êtes sur la page 1sur 2

ALGEBRA BOOLEANA

En informtica y matemtica es una estructura algebraica que esquematiza las


operaciones lgicas ;
Y, O, NO y SI (AND, OR, NOT).

Herramienta para representar proposiciones lgicas en forma algebraica


Se aplica en representacin de circuitos lgicos y diseo digital
// POR QUE SE LE DENOMINO AS?
Se denomina as en honor a George Boole matemtico ingls autodidacta, que fue
el primero en definirla como parte de un sistema lgico.

// POR QU ES IMPORTANTE?
El lgebra Booleana tiene una amplia aplicacin el switch telefnico y en el diseo
de computadoras modernas. El trabajo de Boole ha llegado a ser como un paso
fundamental en la revolucin de las computadoras hoy en da.

// EXPRECIONES BOOLEANAS
Las expresiones booleanas consisten en secuencias de ceros, unos, y nombres
variables --conocidos como literales-- separados por los operadores booleanos Y, O,
NO y O exclusiva. Y" es verdadera nicamente si ambos lados de la expresin son
verdaderos. "O" es verdadera si cualquiera de los lados de la expresin es
verdadero o ambos lados son verdaderos. "NO" cambia de verdadero a falso y
viceversa. O exclusiva es verdadera si cualquiera de los dos lados de la expresin
es verdadero, pero no ambos lados. Cada operador booleano acepta un par de
entradas booleanas y produce una sola salida booleana.

// PROPIEDADES DE LAS EXPRESIONES BOOLEANAS

Estn compuestas de literales (A, B, C, ...).


El valor de las seales o de la funcin slo puede ser 0 o 1, = falso o
verdadero.
Adems de literales, en la expresin booleana se puede tener valor de
0 o 1.
Puede tener operadores lgicos: AND (&, ^), OR (V) y NOT (, , -, ~)
Se puede obtener el resultado lgico de una expresin booleana
aplicando las tablas de verdad (valores de certeza)
Se puede aplicar la Ley de Morgan

// TEOREMAS

LEYES DEL ALGEBRA BOOLEANA

x+ 0=x x1=x

Existencia De Neutros

x+ y= y + x xy= yx

Conmutatividad

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

Asociatividad

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

Distrubitividad

x+ x ' =1 xx ' =0

Complementos

TEOREMAS DE ALGEBRA BOOLEANA


Idempotencia
Identidad de los
elementos 0 y 1
Absorcin
Complemento de 0 y 1
Involucin (doble
negacin)
Leyes de Morgan

x+x=x
x+1=1

xx=x
x0=0

x + (x y) = x
0 = 1
(x) = x

x (x + y) = x
1 = 0

(x + y) = x y

(x y) = x +
y