¿Cómo sé qué ley usar a continuación?

Busca patrones: una NO delante de un paréntesis pide De Morgan, una variable repetida en dos paréntesis pide sacar factor común (ley distributiva), y una variable junto a su propia negación pide la ley del complemento. Las constantes 0 y 1 desaparecen con las leyes de identidad y de dominación.

¿Sigo necesitando tablas de verdad si conozco las leyes?

Las leyes encuentran la simplificación y la tabla de verdad la confirma. Una tabla con 2 variables solo tiene 4 filas, así que es una comprobación rápida y fiable, sobre todo cuando no estás seguro de un paso.

¿Puedo comprobar una ley con aritmética normal?

Sí, con 0 y 1: $A \land B = A \times B$, $\neg A = 1 - A$ y $A \lor B = A + B - A \times B$. Por ejemplo, con $A = 1$ y $B = 1$: $1 + 1 - 1 \times 1 = 1$, así que $1 \lor 1 = 1$. La calculadora de esta lección trabaja con estos números.

Recursos para profesores

Álgebra de Boole

Aprende las leyes del álgebra de Boole, incluidas las leyes de De Morgan, úsalas para simplificar expresiones paso a paso y comprueba el resultado con una tabla de verdad.

Avanzado30 minLección

Ficha imprimible

Definición

El álgebra de Boole es un conjunto de leyes para reescribir expresiones booleanas. Cada ley dice que dos expresiones son equivalentes: tienen el mismo valor de verdad para cualquier entrada, así que siempre puedes sustituir una por la otra. Con las leyes puedes simplificar una expresión sin construir cada vez una tabla de verdad nueva.

Escribimos 1 para verdadero y 0 para falso (las tablas de verdad interactivas también usan 1 y 0). En ingeniería se escribe a menudo

A \cdot B

para

A \land B

A + B

para

A \lor B

\overline{A}

para

\neg A

: significan exactamente lo mismo. En esta lección usamos

\land

\lor

\neg

Las leyes (

A

B

C

son variables booleanas):

Ley	Forma Y	Forma O
Identidad	$A \land 1 = A$	$A \lor 0 = A$
Dominación (elemento nulo)	$A \land 0 = 0$	$A \lor 1 = 1$
Idempotencia	$A \land A = A$	$A \lor A = A$
Complemento	$A \land \neg A = 0$	$A \lor \neg A = 1$
Doble negación	$\neg\neg A = A$	(una sola forma)
Ley conmutativa	$A \land B = B \land A$	$A \lor B = B \lor A$
Ley asociativa	$(A \land B) \land C = A \land (B \land C)$	$(A \lor B) \lor C = A \lor (B \lor C)$
Ley distributiva	$A \land (B \lor C) = (A \land B) \lor (A \land C)$	$A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Ley de absorción	$A \land (A \lor B) = A$	$A \lor (A \land B) = A$
De Morgan	$\neg(A \land B) = \neg A \lor \neg B$	$\neg(A \lor B) = \neg A \land \neg B$

Fíjate en el patrón: si en una columna cambias

\land

por

\lor

y 0 por 1, obtienes la otra columna. Esto se llama dualidad.

Simplificar paso a paso: usa una sola ley en cada paso y di cuál es. Después comprueba el resultado con una tabla de verdad: si las columnas finales coinciden en todas las filas, la simplificación es correcta.

Pruébalo ahora

¿Qué ley dice que

A \land \neg A = 0

Ejemplos resueltos

Simplifica $(A \land 1) \lor (B \land 0)$ .

Aplica la ley de identidad al primer paréntesis

$A \land 1 = A$ , porque Y con verdadero no cambia nada → $A \lor (B \land 0)$

Aplica la ley de dominación al segundo paréntesis

$B \land 0 = 0$ , porque Y con falso siempre es falso → $A \lor 0$

Aplica otra vez la ley de identidad

$A \lor 0 = A$ , porque O con falso no cambia nada

Respuesta: $(A \land 1) \lor (B \land 0) = A$ . El valor de $B$ no importa en absoluto.

Errores comunes

Escribir $\neg(A \land B) = \neg A \land \neg B$

Por qué está mal: La ley de De Morgan cambia el operador además de negar las variables. Prueba con $A = 1$ , $B = 0$ : el lado izquierdo es $\neg 0 = 1$ y el derecho es $0 \land 1 = 0$ .

Correcto: Rompe la barra y cambia el signo: $\neg(A \land B) = \neg A \lor \neg B$ y $\neg(A \lor B) = \neg A \land \neg B$ .

Usar reglas del álgebra ordinaria, como $A \lor A = 2A$ o $A \land A = A^2$

Por qué está mal: Las variables booleanas solo valen 0 o 1, y $1 \lor 1$ es 1, no 2. Repetir una variable no añade nada nuevo.

Correcto: Usa la idempotencia: $A \lor A = A$ y $A \land A = A$ .

Leer $A \lor B \land C$ como $(A \lor B) \land C$

Por qué está mal: Y se evalúa antes que O, igual que la multiplicación antes que la suma. Con $A = 1$ , $B = 0$ , $C = 0$ el valor correcto es $1 \lor 0 = 1$ , pero la lectura equivocada da $1 \land 0 = 0$ .

Correcto: Pon los paréntesis antes de aplicar una ley: $A \lor B \land C = A \lor (B \land C)$ .

Aplicar la ley del complemento a dos variables distintas, como $A \land \neg B = 0$

Por qué está mal: La ley del complemento solo funciona con una variable y su propia negación. Con $A = 1$ , $B = 0$ : $A \land \neg B = 1 \land 1 = 1$ , no 0.

Correcto: Busca la misma letra: $A \land \neg A = 0$ y $B \lor \neg B = 1$ , pero $A \land \neg B$ no se puede simplificar.

Visual interactivo

Tabla de verdad

ExpresiónA ∧ B ∨ A ∧ ¬B

A	B	A ∧ B	¬B	A ∧ ¬B	A ∧ B ∨ A ∧ ¬B
0	0	0	1	0	0
0	1	0	0	0	0
1	0	0	1	1	1
1	1	1	0	0	1

1= Verdadero0= Falso

Tabla de verdad

Seleccionar operador

A ∧ B

A	B	A ∧ B
0	0	0
0	1	0
1	0	0
1	1	1

1= Verdadero0= Falso

Sandbox interactivo

Calculadora de expresiones

Prueba estos:

Historial

Aún no hay cálculos

Problemas de práctica

18 problemas

Problema 1 de 18

Fácil

¿Qué ley dice que $A \land \neg A = 0$ ?

Por qué es importante

Cada

\land

\lor

\neg

de una expresión se convierte en una puerta lógica de un circuito. Una expresión más corta significa menos puertas, y menos puertas significan un chip más barato, más pequeño, más rápido y que gasta menos energía.

Electrónica: un procesador tiene miles de millones de puertas, así que ahorrar una puerta en un circuito que se copia un millón de veces ahorra un millón de puertas
Programación: una condición como NO (fin de semana O festivo) se puede reescribir como (NO fin de semana) Y (NO festivo), que suele ser más fácil de leer y de probar
Búsquedas y bases de datos: un filtro como matemáticas O (matemáticas Y lógica) da exactamente los mismos resultados que solo matemáticas
Demostraciones: las leyes permiten demostrar que dos circuitos o dos condiciones hacen lo mismo sin probar todas las entradas

En la lección Tablas de verdad comprobaste equivalencias fila por fila, y en la lección Puertas lógicas construiste circuitos. El álgebra de Boole une las dos cosas: convierte un circuito grande en uno pequeño, y una tabla de verdad confirma que no ha cambiado nada.

Aplicaciones del mundo real

Diseñar chips más baratos

Quienes diseñan chips simplifican cada circuito con el álgebra de Boole antes de fabricarlo, porque cada puerta cuesta espacio, energía y dinero.

Ejemplo:

Un circuito para $(A \land B) \lor (A \land C)$ usa 3 puertas. Con factor común, $A \land (B \lor C)$ , solo necesita 2.

1Inténtalo tú mismo

Un chip contiene 1000 copias de un circuito que calcula $(A \land B) \lor (A \land C)$ . Cuenta una puerta por cada $\land$ y cada $\lor$ .

¿Cuántas puertas ahorra el chip entero si el circuito se simplifica a $A \land (B \lor C)$ ?

Paso 1: Escribe la expresión matemática

Escribe el ahorro como un cálculo:

Condiciones legibles en un programa

Los programadores usan las leyes de De Morgan para quitar dobles negaciones confusas de las condiciones de su código.

Ejemplo:

NO (fin de semana O festivo) es lo mismo que (NO fin de semana) Y (NO festivo): la tienda abre los días que no son ni una cosa ni la otra.

2Inténtalo tú mismo

Un programa abre una barrera si se cumple $\neg(\neg P \land \neg G)$ , donde $P$ significa que el visitante tiene un pase y $G$ que está en la lista de invitados.

¿Cuál es la forma más simple de la condición y cuántos operadores NO desaparecen?

Paso 1: Escribe la expresión matemática

Escribe el número de operadores NO antes y después como una resta:

Filtros de búsqueda

Los buscadores y las bases de datos simplifican los filtros con la ley de absorción antes de ejecutarlos.

Ejemplo:

El filtro matemáticas O (matemáticas Y lógica) devuelve exactamente los mismos libros que el filtro matemáticas.

3Inténtalo tú mismo

Una biblioteca tiene 40 libros de matemáticas, y 15 de ellos tratan también de lógica. Un lector busca matemáticas O (matemáticas Y lógica).

¿Cuántos libros devuelve la búsqueda?

Paso 1: Escribe la expresión matemática

Suma los libros de matemáticas y los libros extra que aporta (matemáticas Y lógica):

Puntos clave

1El álgebra de Boole usa leyes para reescribir una expresión en otra equivalente, sin una tabla de verdad nueva cada vez
2Las leyes de identidad, dominación, idempotencia y complemento eliminan constantes y variables repetidas: $A \land 1 = A$ , $A \lor 1 = 1$ , $A \lor A = A$ , $A \land \neg A = 0$
3Las leyes conmutativa, asociativa y distributiva reordenan, reagrupan y sacan factor común; en el álgebra de Boole, O también es distributiva respecto de Y
4Leyes de absorción: $A \lor (A \land B) = A$ y $A \land (A \lor B) = A$
5Leyes de De Morgan: rompe la barra y cambia el signo, $\neg(A \land B) = \neg A \lor \neg B$ y $\neg(A \lor B) = \neg A \land \neg B$
6Simplifica con una ley en cada paso, nombra cada ley y comprueba el resultado con una tabla de verdad; una expresión más simple significa menos puertas

Preguntas frecuentes

Porque las variables booleanas solo valen 0 o 1. Comprueba los dos casos: si

A = 1

, los dos lados de

A \lor (B \land C) = (A \lor B) \land (A \lor C)

valen 1; si

A = 0

, los dos lados se convierten en

B \land C

. Con números normales

1 + 2 \times 3 = 7

, pero

(1 + 2) \times (1 + 3) = 12

, así que esta ley solo se cumple en el álgebra de Boole.

Glosario

Álgebra de Boole: El conjunto de leyes para reescribir y simplificar expresiones booleanas
Ley: Una equivalencia que se cumple para cualquier valor de las variables, como $A \lor 0 = A$
Equivalente: Que tiene el mismo valor de verdad en todas las filas de la tabla de verdad
Simplificar: Reescribir una expresión con menos operadores sin que deje de ser equivalente
Leyes de De Morgan: $\neg(A \land B) = \neg A \lor \neg B$ y $\neg(A \lor B) = \neg A \land \neg B$
Ley de absorción: $A \lor (A \land B) = A$ y $A \land (A \lor B) = A$

Tarjeta de fórmulas

Identidad y dominación

A \land 1 = A, \quad A \lor 0 = A, \quad A \land 0 = 0, \quad A \lor 1 = 1

Y con 1 y O con 0 no cambian nada; Y con 0 y O con 1 deciden el resultado

Idempotencia y complemento

A \land A = A, \quad A \lor A = A, \quad A \land \neg A = 0, \quad A \lor \neg A = 1

Repetir una variable no añade nada; una variable con su propia negación da una constante

Doble negación

\neg\neg A = A

Dos NO se anulan entre sí

Leyes distributivas

A \land (B \lor C) = (A \land B) \lor (A \land C), \quad A \lor (B \land C) = (A \lor B) \land (A \lor C)

Las dos se cumplen en el álgebra de Boole; la segunda no funciona con números normales

Leyes de absorción

A \lor (A \land B) = A, \quad A \land (A \lor B) = A

La parte más larga queda absorbida por $A$

Leyes de De Morgan

\neg(A \land B) = \neg A \lor \neg B, \quad \neg(A \lor B) = \neg A \land \neg B

Rompe la barra, cambia el signo

Más sobre este tema

Definición

Ejemplos resueltos

Errores comunes

Visual interactivo

Tabla de verdad

Tabla de verdad

Sandbox interactivo

Calculadora de expresiones

Historial

Problemas de práctica

Por qué es importante

Aplicaciones del mundo real

Diseñar chips más baratos

Condiciones legibles en un programa

Filtros de búsqueda

Puntos clave

Preguntas frecuentes

Glosario

Tarjeta de fórmulas

Identidad y dominación

Idempotencia y complemento

Doble negación

Leyes distributivas

Leyes de absorción

Leyes de De Morgan

Más sobre este tema

Introducción a la lógica booleana

Enunciados verdaderos y falsos

La operación Y (AND)

La operación O