Ejercicio 1
Tautología: es una forma  proposicional  que  es  verdadera  para  cualquier valor lógico que se le  asigne a sus variables proposicionales.


Ejemplo:
(p   →    q)    ↔   (~p   v     q)
 1     1     1      1       0     1    1
 1     0     0      1       0     0    0
 0     1     1      1       1     1    1
 0     1     0      1       1     1    0

Contradicción: es una forma proposicional que es falsa para cualquier valor lógico que se le asigne a sus variables proposicionales.


Ejemplo: 
~    [(p  →   q)    ↔   (~p     v   q)]
0      1    1    1      1        0    1    1
0      1    0    0      1        0    0    0
0      0    1    1      1        1    1    1
0      0    1    0      1        1    1    0