Guía del profesor: Á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.

Presentar lecciónVer página del estudiante

Usa esta lección con tu clase

Gratis, sin cuentas para los alumnos.

Compartir con los alumnos

Los alumnos abren la lección y practican con corrección inmediata.

Ficha imprimible

Todos los ejercicios en papel, con las soluciones aparte.

Ficha de ejercicios Soluciones

Cuestionario de clase

10 preguntas sobre Lógica booleana. Los alumnos entran con su nombre y tú ves todas las puntuaciones.

Para profesores

Objetivos de aprendizaje

Enunciar las leyes de identidad, dominación, idempotencia, complemento y doble negación
Aplicar las leyes conmutativa, asociativa y distributiva, incluida $A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Usar las leyes de De Morgan y las leyes de absorción para reescribir expresiones
Simplificar una expresión booleana paso a paso, nombrando la ley usada en cada paso
Comprobar una simplificación con una tabla de verdad y contar las puertas que se ahorran

Requisitos previos

• Y, O y NO y sus tablas de verdad (Introducción a la lógica booleana, La operación Y (AND), La operación O, La operación NO)
• Construir tablas de verdad y comparar columnas para ver la equivalencia (Tablas de verdad)
• Paréntesis y proposiciones compuestas (Proposiciones booleanas compuestas)
• Precedencia de operadores y evaluación de expresiones (Expresiones booleanas)
• Puertas lógicas y circuitos sencillos (Puertas lógicas)

Iniciadores de discusión

1. ¿Por qué le importaría a una ingeniera ahorrar una sola puerta si un chip tiene miles de millones?
2. En el álgebra normal $x + x = 2x$ . ¿Por qué en el álgebra de Boole $A \lor A$ es simplemente $A$ ?
3. ¿Cómo le explicarías 'rompe la barra, cambia el signo' a un amigo con una frase sobre el tiempo?
4. ¿Qué te convence más como demostración, una tabla de verdad o una cadena de leyes? ¿Cuándo usarías cada una?

Conceptos erróneos comunes

La ley de De Morgan solo niega las variables: $\neg(A \land B) = \neg A \land \neg B$

Remediación: Usa una frase: 'no (tengo hambre y sueño)' no significa 'no tengo hambre y no tengo sueño'. Después construid las dos tablas de verdad una al lado de la otra y buscad las filas que difieren.

El álgebra de Boole sigue todas las reglas del álgebra normal

Remediación: Compara $x + x = 2x$ con $A \lor A = A$ , y el hecho de que $a + bc = (a + b)(a + c)$ falla con números con la ley distributiva booleana. Comprobar con 0 y 1 muestra en qué se diferencian los dos sistemas.

Una expresión que parece más corta es automáticamente equivalente

Remediación: Exige nombrar una ley en cada paso y una comprobación con tabla de verdad al final. Muestra una 'simplificación' con una ley inventada y deja que el alumnado encuentre la fila en la que falla.

Ideas de diferenciación

Para estudiantes con dificultades:

• Empezar con una sola ley por expresión y dar una hoja con las leyes para señalar
• Comprobar cada paso con los valores 0 y 1 antes de seguir
• Usar solo 2 variables, para que cada comprobación con tabla de verdad tenga solo 4 filas

Para estudiantes de nivel:

• Simplificar expresiones que necesitan 3 o 4 leyes y nombrar cada una
• Demostrar la ley de absorción a partir de las leyes de identidad, distributiva y de dominación
• Contar las puertas antes y después de cada simplificación

Para estudiantes avanzados:

• Demostrar la ley de De Morgan para tres variables: $\neg(A \land B \land C) = \neg A \lor \neg B \lor \neg C$
• Mostrar que Y, O y NO se pueden construir solo con puertas NAND
• Simplificar $(A \land B) \lor (A \land \neg B \land C)$ y explicar cada paso

Alineación con estándares

HSA.SSE.A.2 (CCSS.MATH.CONTENT.HSA.SSE.A.2)
Usar la estructura de una expresión para encontrar formas de reescribirla
CCSS.MATH.PRACTICE.MP7 (MP7)
Buscar y usar la estructura
CCSS.MATH.PRACTICE.MP3 (MP3)
Construir argumentos viables y criticar el razonamiento de otros

Recursos de la lección

visualTabla de verdad interactiva
El alumnado compara las columnas Y, O, NO, NAND y NOR y descubre las leyes de De Morgan: NAND coincide con $\neg A \lor \neg B$ y NOR con $\neg A \land \neg B$
activityCartas de leyes
Por parejas reciben una carta por ley y simplifican expresiones colocando una carta en cada paso
worksheetSimplifica y comprueba
Expresiones para simplificar nombrando las leyes, cada una seguida de una comprobación con tabla de verdad y un recuento de puertas

Contenido de la lección

Todo lo que ven los alumnos: definición, ejemplos, errores comunes, aplicaciones. Toca para abrir.

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.

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.

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

¿Por qué O es distributiva respecto de Y, si con números $a + b \times c$ no es $(a + b) \times (a + c)$ ?

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.

¿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

A \lor B = A + B - A \times B

. Por ejemplo, con

A = 1

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.

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

Guía del profesor: Álgebra de Boole

Usa esta lección con tu clase

Para profesores

Para estudiantes con dificultades:

Para estudiantes de nivel:

Para estudiantes avanzados:

Contenido de la lección

Definición

Ejemplos resueltos

Errores comunes

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