Evaluación de formulas lógicas:

 Las tablas de verdad son esquemas, o arreglos de filas y columnas, en las que se representan todos los posibles valores de verdad.

El resultado de la tabla puede ser:

Tautología: todos los valores de verdad salen verdaderos

Contradicción: todos los valores de verdad salen falsos

Contingencia: todos los valores de verdad salen falsos y verdades

¿Cómo se arma y se llena una tabla de valores?

1. Determinamos cuantas proposiciones participan
2. Luego determinamos el numero de combinaciones posibles de los valores de verdad, con la formula 2 elevado a n (n= numero de proposiciones)
3. Luego pondríamos la mitad falsos y la mitad verdaderos

Ejemplo:

Primero ubicamos 4 verdaderos y 4 falos en la "p", luego 2 verdaderos y 2 falsos hasta completar 8 en la "q" y por ultimo ubicamos verdadero, falso, verdadero, falso hasta completar 8 en la r,  y luego vamos resolviendo.

Ejemplos: