Tabla de verdad.

1. En primer lugar, asignamos los valores 1 y 0 a las proposiciones simples que componen la fórmula, combinando de todos los modos posibles tales valores.
2. En segundo lugar, hayamos los valores de verdad de las conectivas existentes en la fórmula, empezando por las menos dominantes y terminando por la conectiva dominante.

Al hacer la tabla de verdad de cualquier fórmula nos podemos encontrar con tres casos:

• Tautología:

Es una fórmula siempre válida, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, solo tiene unos (1).

•  Contradicción:

Es una fórmula no válida nunca, sean cuales sean los valores de verdad de las proposiciones que la integran. Es decir, solo tiene ceros (0).

• Indeterminación o contingencia:

Es una fórmula que puede ser válida o no, en función de los valores de verdad de las proposiciones que la integran. Es decir, es una fórmula cuya tabla de verdad tiene unos (1) y ceros (0) no importa en que proporción.