Las tablas de verdad en C++ permiten evaluar expresiones lógicas utilizando variables booleanas y operadores como AND, OR y NOT. Para generar una tabla de verdad, se debe seleccionar el número de proposiciones y el formato de valores de verdad, luego introducir la fórmula lógica y generar la tabla. La tabla muestra los valores de verdad resultantes para cada combinación posible de valores de las proposiciones.

1. TABLAS DE VERDAD PARA C++

2. CARACTERISTICAS
• Si quieres hacer AND's , OR's, NOT's y demas, existe en el lenguaje C++ lo que son las
variables booleanas(se definen asi: bool variable_booleana) que te permiten jugar con eso:
• Ejemplo:
• p->q es cierto???
• Si p es TRUE y q es TRUE, entonces p->q es TRUE
• p->q es FALSE si y solo si p es TRUE y q es FALSE
Por lo tanto, tendrás que usar "if" y comparaciones lógicas.

3. ELECCIÓN DEL TIPO DE TABLA DE VERDAD
Lo primero que hay que hacer es elegir en la barra superior el tipo de tabla de verdad que se va a
utilizar. El tipo de tabla viene dado por dos parámetros:
El número de proposiciones atómicas que pueden ser dos, tres o cuatro. Si son dos, siempre serán p
y q, si son tres, p, q y r, y si son cuatro, p, q, r y s. Para evitar confusiones es importante elegir la
tabla con el número adecuado de atómicas, ni más, ni menos, y con esas letras enunciativas.
El formato de los valores de verdad (que pueden ser V o F, como hemos venido utilizando en
Aprende Lógica, o 1 y 0)
Los valores por defecto están fijados para una tabla de tres proposiciones atómicas en formato V/F.
Una vez hecha esta elección sólo queda pulsar el botón Generar la tabla de verdad, para que
aparezca ya la tabla solicitada. El botón es como este (pero no es este, está en la barra superior)

4. INTRODUCCIÓN DE LA FÓRMULA
El siguiente paso consiste en introducir la fórmula cuya tabla de verdad se busca. Ni que decir tiene que
ha de ser una fbf. Para introducir la fórmula hay que ceñirse a las convenciones sobre la equivalencia de
caracteres generados por nuestros teclados y las conectivas del lenguaje formal, de acuerdo con la
siguiente tabla:
¬&v>=

5. GENERACIÓN DE LA TABLA
Una vez que se ha introducido la fórmula, ya sólo queda hacer clic en el botón
"Fabrica la tabla" para que aparezca la tabla de verdad en la rejilla.
Es. y Fíjate bien en cuál es la columna de la conectiva dominante.
Utiliza los paréntesis para deshacer ambigüedades. De no hacerlo así, el generador
nos avisará de que no entiende la fórmula, o bien decidirá por su cuenta cuál es la
conectiva principal.
El generador deshace posibles ambigüedades empezando a agrupar las subfórmulas
por la derecha; así, la fórmula portante tener en cuenta algunas observaciones: el
generador la interpreta de la siguiente manera:
(p&(p&(p&(p&p))))
El generador te dirá que no entiende fórmulas atómicas entre paréntesis precedidas
por el negador. Así, sí que procesa correctamente el enunciado:

6. VALORES DE VERDAD
• Los valores de verdad posibles son dos: verdadero y falso, pueden expresarse como
1 y 0.
• Normalmente se representa al valor Verdadero con la letra V y al valor Falso con la
F. También se usan las letras T (por “true”, “verdadero” en inglés) y F (por “false”,
“falso” en inglés).

7. DISYUNCIÓN
p q p
q
V V V
V F V
F V V
F F F
•La disyunción es un operador que opera sobre dos valores de verdad, típicamente
• los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
• cuando una de las proposiciones es verdadera, o cuando ambas lo son , y falso cuando
•Ambas son falsas.

8. CONJUNCIÓN
• La conjunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro
caso. Es decir es verdadera cuando ambas son verdaderas

9. CONDICIONAL
• El condicional material es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

10. EQUIVALENCIAS LOGICAS
• Una equivalencia lógica es una similitud en grados de verdad existen entre 2 o mas
expresiones, siendo cualquiera de ellas validas; es decir cualquiera de estas puede
ser usada en la demostración de un sujeto, sin que ello implique variación en el
resultado final por el cambio o sustitución de cualquiera de ellas.
• La demostración de equivalencias mas comúnmente usada es mediante el método
de tablas de verdad.