TABLAS DE VERDAD

1. Tablas de Verdad
para C++
RIOS REYES JESUS JULIAN
PEDRAZA TAVERA OSCAR ALEJANDRO

2. ¿QUÉ SON LAS TABLAS DE VERDAD
PARA C++?
 Las tablas de verdad es una estrategia de la lógica
simple que permite establecer la validez de
varias propuestas en cuanto a cualquier situación, es
decir, determina las condiciones necesarias para que sea
verdadero un enunciado propuesto, permitiendo
clasificarlos en tautológicos (resultan verdaderos durante
cualquier situación) contradictorias (son enunciados
falsos en la mayoría de los casos) o contingentes
(enunciados que no pueden será tantos verdaderos como
falsos no existen tendencia a un solo sentido).

4.  Permite diferentes aspectos del enunciado como las
condiciones que lo hacen verdadero y cuáles son sus
conclusiones lógicas, es decir, si el enunciado propuesto es
verdadero o falso. Esta tabla fue ideada por Charles Sander
Peirce aproximadamente en 1880, pero la más utilizada es el
modelo actualizado de Luidwin Wittgenstein en 1921.
 La construcción de la tabla está fundamentada en la
utilización de un letra para las variables del resultado y las
mismas se cumplen se dicen que son verdaderas, en el caso
contrario de que no se cumpla se les asigna el apelativo de
falsas, por ejemplo: Enunciado: “Si nos mudamos, mi perro se
muere”. Variables: A: Si se muda- B: el perro se muere.

5.  Si se dice que es verdadero a ambas variables se les asigna la
letra (V) y representa la positividad del enunciado, si algunas
de las variables no se cumple se les asigna la letra (F) esto no
representa la falsedad del enunciado ya que con cumplirse
una sola variable se puede designar como verdadero, eso
dependerá del enunciado. Cuando ambos valores resultan
verdaderos en todas las ocasiones se dice que existe una
conjugación en el enunciado, en cambio sí se obtiene dos
resultados verdaderos y luego uno verdadero y el otro falso se
dice que existe una disyunción.

6. Los operadores lógicos en C++ son los
siguientes:

7. OPERADORES LÓGICOS
El operador “&&” equivale al “AND” o “Y”; devuelve true sólo si
los dos operandos true o lo que es equivalente, distintas de cero.
En cualquier otro caso el resultado es false.
El operador “||” equivale al “OR” u “O inclusivo”; devuelve true si
cualquiera de las expresiones evaluadas es true, o distinta de
cero, en caso contrario devuelve false.
El operador “!” es equivalente al “NOT”, o “NO”, y devuelve true
cuando la expresión evaluada es false o cero, en caso contrario
devuelve false.

8. Tablas de verdad para operadores
lógicos en C++
Una tabla de verdad es una relación de todos los posibles
valores para los operandos que intervienen en una operación,
y los resultados para cada caso.
En el caso de operadores lógicos podemos mostrar fácilmente
tablas de verdad, ya que el dominio para cada operando es
muy reducido: true o false.
Si además tenemos en cuenta la regla del cortocircuito, los
casos posibles se reducen todavía más.

9. EJEMPLO

10. Prioridad de operadores
lógicos
La prioridad de los operadores especifica el orden en que se realizan las operaciones en las
expresiones que contienen más de un operador. La asociatividad de los operadores especifica
si, en una expresión que contiene varios operadores con la misma prioridad, un operando se
agrupa con el de su izquierda o con el de su derecha.
Los operadores que tienen el mismo número de prioridad tienen la misma prioridad, a menos
que se fuerce otra relación explícitamente mediante paréntesis.