Definición 1 --Una expresión lógica es una "tautología" si es verdad para todas las asignaciones posibles.