Cómo Hacer Una Tabla De Verdad

CÓMO HACER UNA TABLA DE VERDAD:
Para construir la tabla de verdad de una fórmula cualquiera hay que tener en cuenta:
a.- el número de filas de la tabla (2n)
b.- encabezar cada columna con lasvariables
c.- dar valores de verdad o falsedad (V-F o 1-0) sistemáticamente: La primera columna tendrá la mitad de valores 1 y la otra mitad de valores 0; la segunda columna 1/4; la tercera 1/8, yasí sucesivamente. (Ver las tablas de las páginas 74 y 75 del libro de texto)
d.- desglosar la fórmula en sus componentes y operar en orden hasta llegar a la columna final.

Ejemplo:
Construir latabla de verdad de la fórmula (p(q) ( (q(p)

|p q |(p(q) |( |(q(p) |
|V V |V |V |V |
|V F |F |F |V|
|F V |V |F |F |
|F F |V |V |V |
| |1º |3º |2º |

La tercera columna (y última)es el resultado final de la tabla de verdad.

TIPOS DE FÓRMULAS:
Tras hacer la tabla de verdad de una fórmula y observar la columna final, nos podemos encontrar en los siguientes casos:
a)Que sólo haya V/1 (todos los casos sean verdaderos.)
b) Que solo haya F/0 (todos los casos sean falsos.)
c) Que haya V y F (1/0) (algunos sean verdaderos y otros falsos.)

En elprimer caso la fórmula se denomina tautología, en el segundo contradicción y en el tercero contingencia o indeterminación.

EJERCICIOS:
Decir de qué tipo son las siguientes fórmulas:
1.- (p(q)((q(p)4.- ((A(B)(((B((A)
2.- ((p(q)(((q(p) 5.- [(A(B)((A(C)(((A(C)
3.- (A(B)(((A(B) 6.- ([p((q(p)(([(p((p)(q]

ATENCIÓN: La negación ante un paréntesis: Es el único caso en el que colocaremos elvalor de verdad correspondiente a la negación de la fórmula que está en el paréntesis (Se coloca bajo el signo de la negación). Ejemplo:
|p q | ¬p ( ¬ (q ( p) |
|V V...