cómo saber si algo es una tautologia

Una tautología es equivalente al valor verdadero, independientemente de los argumentos de la expresión o función a la que se puede reducir, a la derecha se puede ver diagramas de Venn que representan el valor verdadero para: ninguna, una o dos variables.

De esta forma, ¿qué es una Tautologia en logica proposicional?

Logica Proposicional - Tautología, contradicción, indeterminación. Llamamos tautología cuando el resultado de la combinación de los enunciados son todos verdaderos{V,1}, contradicción cuando todos los resultados son falsos {F,0} e indeterminación cuando los resultados son verdaderos y falsos al mismo tiempo.

Mucha gente se pregunta entonces, ¿cuáles son las reglas de las tablas de verdad?

Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F). Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante una contradicción.

Aunque, ¿cuáles son las tablas de verdad en programación?

Las tablas de verdad son un elemento de la lógica proposicional para determinar el valor de verdad (es decir, si es “verdadero” o “falso”) de una proposición. Los valores de verdad posibles son dos: verdadero y falso, que también pueden expresarse como 1 y 0.