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 una fórmula en una sola tabla.
Ayuda
| Conectiva | Signo lógico | Teclas | Descripción teclado | Apariencia |
|---|---|---|---|---|
| Negador | ¬ | - | Signo de la resta | 
|
| n | Tecla "N", inicial de "no" | |||
| Conjuntor | ∧ | & | Mayúsculas + 6 | 
|
| y | Tecla "Y", signo fonético de la conjunción en lenguaje natural | |||
| Disyuntor | ∨ | v | Tecla "V", parecido al signo ∨ | 
|
| o | Tecla "O" (letra o, no cero), signo fonético de la disyunción en lenguaje natural | |||
| Implicador | → | > | Tecla "mayor que" | 
|
| i | Tecla "I" (letra i), inicial de "implica" | |||
| Coimplicador | ↔ | = | Mayúsculas + 0 (signo igual que) | 
|
| c | Tecla "C", inicial de "coimplica" |