TEOREMAS BOOLEANOS

Teoremas con múltiples variables

Los teoremas que presentamos a continuación involucran más de una variable:

Los teoremas (9) y (10) se conocen como leyes conmutativas, ya que indican que el orden en el que se
aplican las operaciones OR y AND a dos variables no importa; el resultado es el mismo. Los teoremas
(11) y (12) son las leyes asociativas, las cuales establecen que podemos agrupar las variables en una
expresión AND o en una expresión OR de cualquier forma que necesitemos. El teorema (13) es la ley
distributiva, la cual establece que para expandir una expresión se multiplica término por término, de
igual forma que en el álgebra ordinaria. Este teorema también indica que podemos factorizar una
expresión. Esto es, si tenemos una suma de dos (o más) términos, cada uno de los cuales contiene una
variable común, esta variable común puede factorizarse de igual forma que en el álgebra ordinaria. Por
ejemplo, si tenemos la expresión 𝐴𝐵𝐶 + 𝐴 𝐵 𝐶 podemos factorizar la variable B:

Como otro ejemplo, considere la expresión ABC + ABD. Aquí los dos términos tienen en común las
variables A y B, por lo que 𝐴 ∙ 𝐵 puede factorizarse de ambos términos. Esto es,

Los teoremas (9) a (13) son fáciles de recordar y de utilizar, ya que son idénticos a los del álgebra
ordinaria. Por otro lado, los teoremas (14) y (15) no tienen contrapartes en el álgebra ordinaria. Para
demostrar cada uno de ellos hay que probar todos los casos posibles para 𝑥 y 𝑦. Para ilustrar lo anterior
(para el teorema 14) vamos a crear una tabla de análisis para la ecuación 𝑥 + 𝑥𝑦, como se muestra a
continuación:
Observe que el valor de toda la expresión (x + xy) es siempre el mismo que para x. El teorema (14)
también puede demostrarse mediante la factorización y el uso de los teoremas (6) y (2), como se
muestra a continuación:

Todos estos teoremas booleanos pueden ser útiles para simplificar una expresión lógica; es decir, para
reducir el número de términos en la expresión. Con esto, la expresión reducida produce un circuito que
es menos complejo que el que habría producido la expresión original. Los siguientes ejemplos servirán
para ilustrar cómo pueden aplicarse los teoremas booleanos.

Ejemplo 1

Ejemplo 2
Ejemplo 3