Entendiendo Relaciones Booleanas con Diagramas de Venn

La cuarta ilustración muestra el conjunto A superpuesto parcialmente al conjunto B. Primero consideramos el área total rayada que representa la unión de ambos conjuntos, y luego aislamos la intersección.

Abajo a la izquierda, una región rayada horizontal roja denota A; una región rayada vertical azul denota B.

Cuando agregamos todas las regiones rayadas —independientemente del estilo de rayado— el área resultante corresponde a la función OR inclusiva de A y B. La expresión booleana es A + B.

En el diagrama, la banda rayada a 45° representa la unión. Cualquier cosa fuera de esta área rayada es el complemento, (A + B)'.

Luego, examinamos la intersección de A y B. La zona de doble rayado a la izquierda representa la función AND exclusiva, expresada como AB. La región fuera del área de doble rayado es (AB)'.

Observe que algunos elementos de A pertenecen a (AB)', y lo mismo para B. Sin embargo, ningún elemento de (AB)' yace dentro de la región AB de doble rayado.

El segundo ejemplo se repite a la izquierda. El quinto ejemplo, esbozado antes, aparece a la derecha para comparación. En secciones subsiguientes identificaremos elementos completamente contenidos dentro de otro conjunto usando mapas de Karnaugh.

Ahora introducimos una expresión booleana que incluye una variable complementada.

Ejemplo: Visualice la expresión A'B (A NO Y B) con un diagrama de Venn.

Solución: Comenzando arriba a la izquierda, sombree A' con rayado horizontal rojo. Arriba a la derecha, sombree B con rayado vertical azul. La región superpuesta abajo a la izquierda representa A'B. La mayoría de estudiantes ilustran toda el área de doble rayado a la derecha para claridad. El complemento (A'B)' es el área no sombreada fuera de esta región.

A continuación abordamos la operación OR con una variable complementada.

Ejemplo: Determine la región para B' + A.

Solución: A la derecha, comience con B, sombree, luego complemente a B'. Superponga A encima. La unión de todas las áreas rayadas, sin importar el estilo, da A + B'. Esto se muestra como una sola región rayada a la izquierda para claridad.

Ejemplo: Encuentre el complemento (A + B')'.

Solución: El área blanca clara en el diagrama izquierdo corresponde a (A + B')'. La banda rayada verde a 45° ilustró previamente la unión A + B'. Comparando el complemento con la región de doble rayado AB' a la derecha muestra que las dos formas son idénticas, confirmando el teorema de De Morgan y la doble negación.

Los diagramas de Venn proporcionan comprobaciones visuales intuitivas pero no constituyen pruebas formales; el álgebra booleana se requiere para verificación rigurosa. No obstante, son invaluables para ilustrar conceptos como el teorema de De Morgan.

Ejemplo: Represente la expresión A' + B' en un diagrama de Venn.

Solución: Sombree A' con rayado horizontal rojo y B' con rayado vertical azul. La figura resultante muestra todas las regiones que contienen al menos un rayado, correspondiendo a A' + B'. El único área no sombreada es la superposición central de los círculos originales.

Ejemplo: Visualice (A' + B')'.

Solución: El espacio blanco central representa el complemento del diagrama anterior. Esta es exactamente la región (A' + B')'.

Ejemplo: Verifique que (A' + B')' = AB.

Solución: El diagrama inferior izquierdo muestra la región abierta para (A' + B')'. Los diagramas izquierdo y central representan la intersección de doble rayado AB. Coinciden perfectamente, confirmando la identidad vía teorema de De Morgan y doble negación.

Finalmente, presentamos un diagrama de Venn de tres variables con A (rojo), B (azul) y C (verde 45°). La región central donde los tres se superponen representa ABC. Zonas mayores en forma de pétalo ilustran intersecciones por pares: AB, AC y BC. A medida que aumenta el número de variables en un término AND, la región correspondiente se encoge: A solo es un círculo grande; AB es un pétalo menor; ABC es el más pequeño.

• A (1 variable): región circular grande.
• AB (2 variables): región de pétalo menor.
• ABC (3 variables): región más pequeña.
• Más variables → región AND más pequeña.