Funciones lógicas

álgebra de Boole

La función lógica puede ser bastante larga y compleja, por lo que interesa simplificarla lo más posible.

La simplificación se puede obtener a partir de ciertas reglas básicas o propiedades de Algebra de Boole.

Las propiedades asociativa, distributiva y conmutativa son bastante intuitivas, puesto que existen igualmente en la suma de números naturales a la que estamos acostumbrados; lo mismo ocurre con la propiedad a · 0 = 0.

El resto de propiedades tal vez sí necesiten de una mayor explicación.

Ejemplos de simplificación de funciones lógicas utilizando el álgebra de Boole.

Propiedad conmutativa:
a + b = b + a a·b = b·a

Propiedad asociativa:
a + (b + c) = (a + b) + c = a + b + c
a · (b · c) = (a · b) · c = a · b · c
Propiedad distributiva:
a (b + c) = ab + ac a + bc = (a + b)(a + c)

Propiedades de la inversión:
a + a' = 1 a · a' = 0

Idempotencia:
a + a = a  a · a = a

Absorción:
a + a·b = a  a (a + b) = a

Otras propiedades:
a + 1 = 1 a · 0 = 0

pulsa para ir