TEOREMAS BOOLEANOS

Hemos visto cómo puede utilizarse el álgebra booleana para ayudar a analizar un circuito lógico y
expresar su operación en forma matemática. Para continuar con nuestro estudio del álgebra booleana
vamos a investigar los diversos teoremas booleanos (también conocidos como reglas booleanas) que
pueden ayudarnos a simplificar las expresiones lógicas y los circuitos lógicos. El primer grupo de
teoremas se muestra en la figura 1. En cada teorema, x es una variable lógica que puede ser un 0 o un 1.
Cada teorema se acompaña por el diagrama de un circuito lógico que demuestra su validez.

Figura 1. Teoremas con una sola variable

El teorema (1) establece que si se aplica un AND entre cualquier variable y 0, el resultado es 0. Esto es
fácil de recordar ya que la operación AND es como la multiplicación ordinaria, en donde sabemos que
cualquier cantidad multiplicada por 0 es igual a 0. También sabemos que la salida de una compuerta
AND será 0 siempre que una entrada sea 0, sin importar el nivel en la otra entrada. El teorema (2)
también es obvio si se le compara con la multiplicación ordinaria. El teorema (3) puede demostrarse si
se prueba cada caso. Si x = 0, entonces 0 ∙ 0 = 0; si x = 1 entonces 1 ∙ 1 = 1. Por lo tanto, 𝑥 ∙ 𝑥 = 𝑥. El
teorema (4) puede probarse de la misma forma. No obstante, también podemos razonar que en
cualquier momento ya sea x o su inverso, x, deben estar en el nivel 0 y, por lo tanto, su producto AND
siempre será 0. El teorema (5) es bastante directo, ya que cualquier cantidad que se sume con 0 no
afecta su valor, ya sea en la suma ordinaria o en la operación OR. El teorema (6) establece que, si se
aplica un OR entre cualquier variable y 1, el resultado siempre será 1. Comprobamos esto para ambos
valores de x: 0 + 1 = 1 y 1 + 1 = 1. También es importante recordar que la salida de una compuerta OR
será 1 cuando cualquiera de sus entradas sea 1, sin importar el valor de la otra entrada. El teorema (7)
puede probarse si se comprueban ambos valores de x: 0 + 0 = 0 y 1 + 1 = 1. El teorema (8) puede
probarse de manera similar, o basta con razonar que en cualquier momento ya sea x o x estará en el
nivel 1, de manera que siempre se esté aplicando un OR entre 0 y 1, lo cual siempre produce un 1.