Generador de tablas de verdad
Una potente herramienta para generar tablas de verdad de lógica proposicional.
Instrucciones
Introduce tu enunciado de lógica proposicional con ayuda de los botones. De momento, sólo están disponibles cinco variables proposicionales (p,q,r,s,t). Para más información sobre cómo introducir correctamente el enunciado en el generador, ve al apartado "¿Cómo usar correctamente el generador?". Una vez que hayas introducido el enunciado, elige el tipo de tabla que quieres (Verdadero/Falso) o (1/0), y haz clic en Generar y automáticamente se creará la tabla de verdad, si la quieres guardar puedes descargarla como png.
¿Cómo usar correctamente el generador?
Si el enunciado no se introduce correctamente, el programa no lo entenderá y no lo procesará adecuadamente. Asegúrate de que las proposiciones y los conectores están bien colocados según las reglas de la lógica proposicional y así mismo cerciórate de que los paréntesis estén bien puestos. Los paréntesis son muy importantes, ya que establecen el orden por el que el programa tiene que comenzar a operar, si no se ponen correctamente el programa se saltará pasos o puede que no genere la tabla acertadamente. Si pruebas los siguientes ejemplos, comprobarás que aunque contienen los mismos elementos, el segundo no funciona porque no tiene colocados todos los paréntesis necesarios:
- ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
- (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t
Operadores lógicos incluidos en este generador
- ¬ - Negación
- ∧ - Conjunción
- ∨ - Disyunción
- ⇒ - Condicional
- ⇔ - Bicondicional
- ⊕ - Disyunción exclusiva
Apoya este sitio
Si te ha servido comparte está página con tus contactos por correo, redes sociales,... etc.