Construcción de tablas de verdad

Para determinar el valor de verdad de una proposición compuesta es necesario elaborar la correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian los pasos a seguir:
Ejemplo 1.
Construir la tabla de verdad para la proposición ~ (p^q).
Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los paréntesis.
Paso 2.
Se identifica el conectivo que aparece dentro del paréntesis, en este ejemplo la conjunción.
Paso 3.
Se precisa el término de enlace que precede al paréntesis, en el ejemplo la negación.
Paso 4.
Se elabora la tabla con el número de columnas determinado por:
_ Proposiciones que intervienen
_ Conectivos utilizados dentro del paréntesis
_ Conectivo utilizado fuera del paréntesis.
La siguiente tabla ilustra el paso 4:

Paso 5.
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la siguiente tabla

Paso 6.
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de cada proposición simple. La finalización de la elaboración de la tabla de verdad es: