p | q | p→q |
---|---|---|
F | F | V |
F | V | V |
V | F | F |
V | V | V |
El Generador de Tablas de Verdad online que aquí ponemos en tus manos es una poderosa herramienta capaz de operar con enunciados de lógica proposicional altamente complejos. Puede trabajar con un gran número de proposiciones lógicas a la vez, lo cual permite operar con una combinación casi infinita de sentencias lógicas. Si eres un estudiante que acaba de conocer la lógica proposicional, un instructor en busca de materiales didácticos, o un profesional que necesita generar tablas de verdad como parte de un proyecto más amplio, el Generador de tablas de verdad es la herramienta que estás buscando.
Usar el generador de tablas de verdad resulta bastante sencillo e intuitivo, gracias al teclado virtual del que dispone. Para usarlo solo tendrás que ingresar la sentencia lógica en el campo de texto y presionar el botón «=» del teclado virtual para obtener la tabla de verdad resultante.
Para construir tus sentencias lógicas dispones de las siguientes proposiciones en el teclado:
p, q, r, s
Pero puedes emplear tantas variables como necesites utilizando el teclado de tu dispositivo. A continuación te presentamos una tabla con todas las funcionalidades y comandos que pueden ser usados en este generador de tablas de verdad:
Tecla | Comando | Descripción |
---|---|---|
|
p | Proposición simple p |
|
q | Proposición simple q |
|
r | Proposición simple r |
|
s | Proposición simple s |
|
( ) | Parentesis |
|
~ | Operador lógico de negación |
|
^ | Operador lógico de conjución |
|
v | Operador lógico de disyunción |
|
+ | Operador XOR |
|
→ | Operador lógico condicional |
|
↔ | Operador lógico bicondicional |
|
(sin comando) | Permiten mover el cursor a la izquierda o a la derecha |
|
(sin comando) | Limpia la pantalla completa |
|
(sin comando) | Borra caracteres de uno en uno |
|
(sin comando) | Ejecuta la acción de generar la tabla de verdad correspondiente |
La Álgebra booleana es una rama del álgebra que maneja solamente valores verdaderos y falsos. Normalmente se denotan como V o 1 para verdadero y F o 0 para falso . Usando este simple sistema podemos simplificar sentencias complejas en sentencias lógicas mucho más manejable.
Este operador lógico niega o cambia el valor de verdad de una proposición o sentencia.
Podemos mostrar como opera utilizando una tabla de verdad. La tabla de verdad es una forma de organizar la información para enumerar todos los escenarios lógicos posibles.
Nombramos la primera columna con el nombre de la proposición p. En la segunda columna aplicamos el operador de negación a p, o lo ques es lo mismo, ~ p. Entonces, como pueden ver si nuestra proposición posee un valor verdadero y la negamos, obtenemos el valor falso, y viceversa.
Para construir tablas de verdad solo debes realizar unos pasos muy sencillos y claros. A continuación pasaremos a explicar cada uno de los pasos necesarios para hacer una tabla de verdad, utilizando como ejemplo la sentencia (p→q)^r:
2 n
Por ejemplo para el caso de la sentencia (p→q)^r, se deberán crear 8 filas.
Hecho con ❤