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" |