Tablas de Verdad
Se puede usar una tabla de verdad para mostrar la verdad de una combinación de expresiones lógicas.
Las declaraciones en la lógica de proposiciones sólo pueden sea verdadera o falsa.
La tabla de verdad crea todas las combinaciones posibles de declaraciones verdaderas/falsas y evalúa el contenido de verdad de la expresión lógica a examinar.
Declaraciones múltiples se pueden combinar con conectores lógicos a nuevas declaraciones.
Tal tabla de verdad se crea aquí. Los conectores lógicos están representados por los operadores de la sintaxis de C, Java y JavaScript.
La tabla usa variables lógicas en lugar de expresiones específicas.
Las variables lógicas utilizadas en expresiones pueden tener cualquier nombre allí.
Conectores permitidos (prioridad de conectores decreciente en este orden):
| ! | "no" | (negación) |
| == | "si y sólo si" | (equivalencia) |
| && | "y" | (conjunción) |
| || | "o" | (disyunción) |
Ademas se puede utilizar paréntesis.
Nota: La prioridad de los conectores usada aquí corresponde a las lenguajes mencionadas de programación.
Desviarse en la lógica de proposiciones, la equivalencia se prioriza más débil que la disyunción.
Para evaluar varios términos en una tabla, se debe especificar los separados por punto y coma.
Ejemplo de una expresión lógica con cuatro variables: a || b && !(c && !d)
otras aplicaciones en JavaScript