Para practicar, calculemos la tabla de verdad del siguiente enunciado: ¬p∨(p∧q). Determinamos la conectiva dominante, que en este caso es la disyunción, ya que se comenzaría con el enunciado de dentro del paréntesis (una conjunción). Aquí tenemos la tabla de dominancia de las conectivas:

¬p∨(p∧q)
¬p (p q)
1 2   1  

Sigamos los pasos propuestos:

1

Dibujamos la tabla con tantas columnas como enunciados atómicos tengamos:

p q
   
   
   
   
2

A continuación ponemos todas las posibles combinaciones de verdad y falsedad para p y q:

p q
V V
V F
F V
F F
3

Seguimos añadiendo tantas columnas como enunciados atómicos tenga el enunciado objeto de estudio [en este caso, tres: uno para ¬p, otro para (p∧q), y un tercero para ¬p∨(p∧q)]

p q      
V V      
V F      
F V      
F F      
4

Continuamos añadiendo los enunciados siguiendo el orden de dominancia de las conectivas señalado al principio de esta página:

El orden de las conectivas, en este caso es el siguiente:

¬p∨(p∧q)
¬p (p q)
1 2   1  
p q ¬p (p∧q) ¬p∨(p∧q)
V V      
V F      
F V      
F F      
5

Por último, sólo nos queda averiguar el valor de verdad de cada una de las celdillas de la tabla que nos ha quedado confeccionada en el paso 4. Siempre hay que proceder con orden, calculando el valor de las celdillas de la columna tercera, cuarta, y, por último la quinta.

Para llevar a cabo este paso quinto a continuación tienes una actividad práctica que te irá guiando en el proceso de calcular el valor de las celdillas de estas tres últimas columnas.

Práctica guiada sobre tablas de verdad

1

Procedamos con orden, calculando primero la columna tercera. Teclea en cada casilla de la columna ¬p las letras "V" o "F" según sus respectivos valores de verdad. Fíjate en la columna p con las letras en rojo:

p q ¬p
V V
V F
F V
F F