Una vez que hemos aprendido cómo se puede crear una tabla de verdad utilizando nuestros cerebros, explicaremos cómo se puede conseguir simplificar el proceso utilizando un generador de tablas de verdad.
Esta página contiene un programa escrito en JavaScript que genera una tabla de verdad a partir de una fórmula bien formada. Se pueden introducir varias fórmulas separadas por comas para incluir más de un enunciado en una sola tabla.
¿Cómo se utiliza el generador de tablas de verdad?
En dos sencillos pasos:
- Se introduce la fórmula en la caja de texto
- Se pulsa el botón "Genera la tabla de verdad"
¿Cómo se insertan los conectores ¬, ∧ ∨ → y ↔?
Utilizando el teclado del ordenador o del dispositivo móvil, de acuerdo con la siguiente tabla de equivalencias:
| Conector | Tecla |
|---|---|
| Negación (¬) | - |
| Conjunción (∧) | & |
| Disyunción (∨) | + |
| Implicación (→) | > |
| Coimplicación (↔) | = |