Una tautología es una proposición compuesta que toma valor 1 para cualquier combinación de los valores de sus variables.