Aunque parecen muy abstractas, las tablas de verdad son herramientas que pueden llegar a tener un impacto en la toma de decisiones más serio que un bug en producción.
Estas herramientas son fundamentales en la lógica y en las matemáticas. Y, como resulta que cuando desarrollamos estamos constantemente tomando decisiones basadas en condiciones, también lo son en el mundo del desarrollo de software.
Desde el más simple condicional hasta el más complejo malabar booleano, las tablas de verdad son nuestra brújula para entender y analizar caminos posibles y navegar por el mar de las decisiones.
Yendo más a la lógica pura, una buena definición de las mismas sería que son herramientas que nos ayudan a determinar cuales son las condiciones necesarias para que un enunciado propuesto sea válido.
Vamos a ver los 4 tipos principales de tablas de verdad.
Negación
Esta tabla es la más básica de todas, pero no hay que subestimarla ya que es indispensable cuando necesitamos invertir una condición.
La tabla de negación devuelve el valor opuesto a la proposición que se le indique.
Supongamos que estamos haciendo un sistema y sabemos que nuestros usuarios siempre mienten. Entonces les preguntamos de que color es el Sol y utilizamos la negación para obtener la verdad.
Conjunción
Una conjunción unicamente es verdadera cuando todas sus proposiciones son verdaderas.
Entonces, cuando necesitamos validar que una serie de condiciones se cumplen, por ejemplo, ésta es la manera de hacerlo.
En un concurso de cocina la consigna es hacer una ensalada que contenga una papa y una cebolla:
Disyunción
Una disyunción es verdadera cuando al menos una de sus proposiciones es verdadera.
Si tenemos varias condiciones pero nos basta con que una se cumpla, ésto es lo que necesitamos.
Ahora avanzó el concurso de cocina y llegamos al postre, resulta que deben hacer una ensalada de frutas utilizando uvas y/o manzanas.
Disyunción exclusiva
Una disyunción exclusiva va a ser verdadera cuando una de sus proposiciones sea verdadera y la otra falsa.
La utilizamos si necesitamos que de dos condiciones solamente se cumpla una de ellas.
Para la final del concurso de cocina los participantes deben hacer un postre con chocolate blanco o chocolate negro, no pueden usar ambos.
Si bien sé que no es muy común ponerse a dibujar tablas de verdad cuando estamos analizando problemas que implican condicionales, son una herramienta bastante útil y que si alguna vez necesitamos clarificar o incluso documentar todos los posibles caminos es mejor conocerlas!
