En lógica proposicional, una tautología es una fórmula bien formada 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.[1][2] 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.[2]