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.