Esto es una función o relación de variables lógicas o booleanas es una tautología si es equivalente al valor verdadero para todos los posibles valores de sus variables.