Tautología

Una tautología es una expresión lógica que con independencia de los valores de sus premisas siempre es cierta. $$ (q \vee ¬q) $$ por ejemplo , da igual los valores que tome q que el resultado siempre será cierto