El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema

booleano resulta en otra variable del sistema, y este resultado es nico.

Ley conmutativa: La ley conmutativa de la adicin para dos variables se describe algebraicamente
como

A+B=B+A

Esta ley establece que no importa el orden en el que las variables estn disyuntivadas. En la
terminologa del algebra booleana, aplicada a los circuitos lgicos, la adicin y la operacin OR son
lo mismo.

AB=BA

Ley asociativa: La ley asociativa de la adicin para tres variables se escribe algebraicamente como
sigue

A+ (B+C)=(A+B)+C

Esta ley establece que en la disyuncin de varias variables, el resultado es el mismo, sin importar el
agrupamiento de las mismas.

Ley asociativa en la multiplicacin para tres variables se escribe como lo siguiente:

A (BC)= (AB) C

Esta ley establece que, al juntar varias variables no importa el orden en la que estas se agrupen.

Ley distributiva: La ley distributiva para tres variables se describe como siguiente

A (B+C)=AB+AC

Esta ley establece que al disyuntivar varias variables y conjuntiva el resultado con una sola variable
es equivalente a conjuntivar la variable sola con cada una de las varias variables y disyuntivar los
conjuntos.

El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema
booleano resulta en otra variable del sistema, y este resultado es nico.

Ley de idempotencia:

algebra booleana

algebra booleana

Ley de involucin:

algebra booleana

Ley de cancelacin:
algebra booleana

algebra booleana

Leyes de De Morgan:

algebra booleana

algebra booleana

PRINCIPIO DE DUALIDAD

El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le
corresponder su dual, formada mediante el intercambio de los operadores unin (suma lgica)
con los de interseccin (producto lgico), y de los 1 con los 0.

Adems hay que cambiar cada variable por su negada. Esto causa confusin al aplicarlo en los
teoremas bsicos, pero es totalmente necesario para la correcta aplicacin del principio de
dualidad. Vase que esto no modifica la tabla adjunta.

algebra booleana 29 (260K)

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno (falso
y verdadero). Un operador binario " " definido en ste juegos de valores acepta un par de
entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos
entradas booleanas y produce una sola salida booleana.

Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden
deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a
menudo emplea los siguientes postulados:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada
par de valores booleanos se produce un solo resultado booleano.

Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A para todos los
posibles valores de A y B.

Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B C) para todos
los valores booleanos A, B, y C.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A B) % (A C)
para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un

operador binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si
A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores y

valores:

Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a stos
valores respectivamente como falso y verdadero.

El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de variables de una
sola letra se eliminar el smbolo , por lo tanto AB representa la operacin lgica AND entre las
variables A y B, a esto tambin le llamamos el producto entre A y B.

El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre
A y B, tambin llamada la suma de A y B.

El complemento lgico, negacin NOT es un operador unitario, en ste texto utilizaremos el

smbolo " ' " para denotar la negacin lgica, por ejemplo, A' denota la operacin lgica NOT de A.

Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la

expresin depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis,
operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el operador lgico AND
como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia estn
adyacentes, entonces se evalan de izquierda a derecha. El operador lgico NOT es asociativo por
la derecha. Utilizaremos adems los siguientes postulados:

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT

P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe elemento
de identidad para el operador NOT

P3 Los operadores y + son conmutativos.

P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+(AC) y A+ (BC) = (A+B)
(A+C).

P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el complemento
lgico de A.

P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados, adems es
buena idea familiarizarse con algunos de los teoremas ms importantes de los cuales podemos
mencionar los siguientes:

Teorema 1: A + A = A

Teorema 2: A A = A

Teorema 3: A + 0 = A

Teorema 4: A 1 = A
Teorema 5: A 0 = 0

Teorema 6: A + 1 = 1

Teorema 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Teorema 9: A + A B = A

Teorema 10: A (A + B) = A

Teorema 11: A + A'B = A + B

Teorema 12: A' (A + B') = A'B'

Teorema 13: AB + AB' = A

Teorema 14: (A' + B') (A' + B) = A'

Teorema 15: A + A' = 1

Teorema 16: A A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de De Morgan en honor al matemtico
que los descubri.

Caractersticas:

Un lgebra de Boole es un conjunto en el que destacan las siguientes caractersticas:

Se han definido dos funciones binarias (que necesitan dos parmetros) que llamaremos aditiva
(que representaremos por x+ y) y multiplicativa (que representaremos por xy) y una funcin
monaria (de un solo parmetro) que representaremos por x'.

Se han definido dos elementos (que designaremos por 0 y 1)

Tiene las siguientes propiedades:

Conmutativa respecto a la primera funcin: x + y = y + x

Conmutativa respecto a la segunda funcin: xy = yx

Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z)

Asociativa respecto a la segunda funcin: (xy)z = x(yz)

Distributiva respecto a la primera funcin: (x +y)z = xz + yz

Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z)

Identidad respecto a la primera funcin: x + 0 = x

Identidad respecto a la segunda funcin: x1 = x

Complemento respecto a la primera funcin: x + x' = 1

Complemento respecto a la segunda funcin: xx' = 0

Propiedades Del lgebra De Boole

Idempotente respecto a la primera funcin: x + x = x

Idempotente respecto a la segunda funcin: xx = x

Maximalidad del 1: x + 1 = 1

Minimalidad del 0: x0 = 0

Involucin: x'' = x

Inmersin respecto a la primera funcin: x + (xy) = x

Inmersin respecto a la segunda funcin: x(x + y) = x

Ley de Morgan respecto a la primera funcin: (x + y)' = x'y'

Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

Funcin Booleana

Una funcin booleana es una aplicacin de A x A x A x....A en A, siendo A un conjunto cuyos

elementos son 0 y 1 y tiene estructura de lgebra de Boole. Supongamos que cuatro amigos
deciden ir al cine si lo quiere la mayora. Cada uno puede votar si o no. Representemos el voto de
cada uno por xi. La funcin devolver s (1) cuando el numero de votos afirmativos sea 3 y en caso
contrario devolver 0.

Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0. Producto mnimo (es
el nmero posible de casos) es un producto en el que aparecen todas las variables o sus
negaciones.

El nmero posible de casos es 2n

Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los posibles casos
son:

Votos Resultado

ABCD#

1111 1

1110 1

1101 1
1100 0

1011 1

1010 0

1001 0

1000 0

0111 1

0110 0

0101 0

0100 0

0011 0

0010 0

0001 0

0000 0

Las funciones booleanas se pueden representar como la suma de productos mnimos (mini
trminos) iguales a 1.

En nuestro ejemplo la funcin booleana ser: f(A, B, C, D) = ABCD + ABCD' + ABC'D + AB'CD +
A'BCD