Propiedades Fundamentales del Algebra de Boole Ley de Idempotencia La idempotencia es la propiedad para realizar una accin

determinada varias veces y aun as conseguir el mismo resultado que se obtendra si se realizase una sola vez.

a a=a a+a=a
Ley de Involucin La involucin nos dice que si a una negacin se le da una negacin, da como resultado un positivo.

a=a
Ley Conmutativa La ley conmutativa solo quiere decir que se puede intercambiar los nmeros cuando sumas o cuando multiplicas y la respuesta va a ser la misma.

a b=ba a+b=b+a

Ley asociativa La ley asociativa quiere decir que no importa el orden como agrupes los nmeros (o sea, que calculas primero) cuando sumas o cuando multiplicas.

a (bc)=(ab)c

Ley Distributiva La ley distributiva quiere decir que la respuesta es la misma cuando sumas varios nmeros y el resultado lo multiplicas por algo, o haces cada multiplicacin por separado y luego sumas los resultados.

a (b+c)=(ab)+(ac)
Ley de Cancelacin La ley de cancelacin dice que en un ejercicio dado despus de un proceso se cancela el trmino independiente.

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

Leyes de Morgan Las leyes de Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente; y que inversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.

(a+b)=ab (a b)=a+b

Algebra de Boole Es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente diferenciados, que designaremos por 0 y 1 y que estn relacionados por dos operaciones binarias denominadas suma (+) y producto (.) (la operacin producto se indica generalmente mediante la ausencia de smbolo entre dos variables lgicos.)

Teoremas de Morgan Los teoremas de De Morgan son los siguientes: 1.

El complemento de un producto de variables es igual a la suma de los complementos de las variables. Este teorema nos demuestra el hecho de que una compuerta NAND es lo mismo que invertir las entradas de una compuerta OR.

2. 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.

Simplificacin de funciones lgicas por Boole Ejemplo 1: Simplificar la siguiente funcin:

Vamos a intentar aplicar la propiedad distributiva, lo que normalmente llamamos sacar factor comn. Operando con los trminos 1 y 3:

Operando con los trminos 2 y 4:

La funcin que nos queda es:

Tanto la funcin inicial, como la que hemos obtenido son funciones equivalentes. Tienen la misma tabla de verdad, sin embargo, la segunda est mucho ms simplificada: slo tiene dos sumandos y cada sumando tiene slo dos variables. Ejemplo 2: Simplificar la siguiente funcin:

Si nos fijamos, vemos que podemos reordenar la funcin de manera que quede:

y puesto que nos queda:

y cualquier cosa multiplicada por 0 es 0, al final