lgebra de Boole

Por
Bardales Villanueva Carlos Ademir
Abril, 26 de 2016

1. Definicin
Es un sistema matemtico binario que est definido por operadores lgicos ( NOT, AND, OR, NAND, NOR) y variables (x ,y )
que pueden tomar el valor de 1 o 0 .

2. Reglas
2.1. A+ 0 = A
*SI A = 1, la salida es 1
*Si A = 0, la salida es 0
La salida siempre es igual a A
2.2. A+ 1 = 1
La entrada en 1 fija la salida en 1.
La salida no responde a los cambios de la variable de entrada A.
2.3. A * 0 = 0
La entrada 0 fija la salida o.
La salida no responde a los cambios de la variable de entrada A
2.4. A * 1 =A
Si A = 1, la salida es 1
Si A = 0, la salida es 0
Las salida siempre es igual a A
2.5. A + A = A
Si A = 0, la salida es 0
Si A = 1, la salida es 1
En ambos la salida siempre es A
2.6. A +

=A

Si A = 1, la salida es 1
Si A= 0, la salida es 1
En cualquier caso, la salida siempre ser 1
2.7. A * A = A
Si A = 0, los dos ceros en la entrada producen una salida 0
Si A = 1, los dos unos a la entrada producen una salida cero
Se cumple que las entradas son iguales a la salida
2.8. A +

=A

Si A = 1, la salida es 0
Si A = 0, la salida es 0
Para ambos casos la salida es 0

2.9.

=A

Si A = 1, la salida es 1
Si A = 0, la salida es 0
Para ambos casos se cumple que la salida es igual a A
2.10.
A+A*B=A
A + A * B = A * ( 1 + B ); tiene factor comun
= A * 1 : ley b, 1 = ( 1 + B )
= A : A * 1 , ley 2.4
2.11.

A+

A+

*B = A + B

*B = A +A* B + A

A+A*B
= A + (A +
= A+B

*B : ley 2.10, A =

A )*B : factor comn

: ley 2.6, 1 = A +

2.12.
(a + b)*(a + c ) = a + b*c
(A + B)(A + C) = AA + AC + AB + BC
= A + AC + AB + BC; ley 2.7 : AA = A
= A + BC; ley 2.10 : A + AB = A
(aplicada 2 veces)

3. Leyes
- Conmutativa:
a+b=b+a

a*b = b*a

Distributiva:
a*(b + c) = a*b + a*c

a+(b*c) = (a+b)*(a+c)

Identidad:

a+a = 1
a*a = 0

Asociativa:

a + (b + c) = (a + b) + c

a * (b *c) = (a * b) * c

Complementariedad:
Absorcin:

a+a = 1
a +a*b = a

a*a=0
a*(a+b) = a

4. Teorema de De Morgan
En [2] los teoremas de De Morgan son los siguientes:

AB=
A + B

4.1.

El complemento de una suma de variables es igual al producto de los complementos de

las varibles. Este teorema apoya el hecho de que un NOR es lo mismo que invertir las entrdas de
una AND.
Entradas
A
B
0
0
1
1

0
1
0
1

Salida

X + Y

XY

1
1
1
0

1
1
1
0

4.2.

A +B=
A

El complemento de una suma de variables es igual al producto de los complementos de

las variables. Este teorema apoya el hecho de que una NOR es lo mismo que invertir las entradas
de una AND.
Entradas
A
B
0
0
1
1

0
1
0
1

Salida

X + Y

XY

1
0
0
0

5.
Puertas

1
0
0
0

lgicas elementales
a. NOT: Cambia el nivel lgico al nivel opuesto, es decir, si
hablamos de bits un 1 por un 0 y un 0 por un 1.
Entrada A

Salida

A
0
1

1
0

b. OR: Esta operacin es equivalente a la suma booleana.

A
0
0
1
1

B
0
1
0
1

A+B
0
1
1
1

c. AND: Esta operacin es equivalente al producto booleano.

A
0
0
1
1

B
0
1
0
1

A*B
0
0
0
1

d. NAND
En [3]Una compuerta NAND es un circuito que genera una salida baja (0 lgico) slo
cuando todas las entradas son 1. Esta operacin en trminos de nivel de salida, es la opuesta a la
operacin lgica AND.

e. NOR
En [4] es un circuito que genera una salida baja (0 lgico ) cuando uno a mas de sus entradas son
1, es decir, es la operacin opuesta a OR

Referencias
[Error: Reference source not found] http://www.monografias.com/trabajos14/algebra-booleana/algebrabooleana.shtml#ixzz46nRaJV4r
[2,3,4] http://clrueda.docentes.upbbga.edu.co/web_digitales/Tema_2/morgan.html