Tablas de Verdad

Una tabla de verdad muestra qué resultado da una operación lógica en todos los casos posibles. Las filas de la tabla contienen todas las combinaciones de verdadero-falso de las afirmaciones.

Negación (¬)

Si p es verdadero (1), entonces ¬p es falso (0). Si p es falso (0), entonces ¬p es verdadero (1).

Conjunción (∧)

La operación "Y" es verdadera solo si ambos son verdaderos.

Disyunción (∨)

La operación "O" es falsa solo si ambos son falsos. Es verdadera en todos los demás casos.

Implicación (→)

El "si p, entonces q" es falso solo si p es verdadero pero q es falso.

Equivalencia (↔)

La operación "si y solo si" es verdadera si p y q toman el mismo valor de verdad.

Resumen

Las tablas de verdad proporcionan una forma simple de ver cuándo una afirmación compleja es verdadera o falsa. Con su ayuda, el funcionamiento de cualquier operación lógica es completamente transparente.

Ejercicio de Práctica