Tautologia

Primero que nada vamos a ver que es una tautologia:

Es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.

Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretaciones de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad.

Ejercicio:

Esta tarea consistia en elaborar una tautologia con las siguientes condiciones:

• 3 variables
• 4 conectivos lógicos
• Por lo menos 1 disyunción, 1 conjunción y 1 negación

Aqui la tabla de verdad:
1 = falso
0 = verdadero

 Aqui el arbol: