Dos proposiciones son equivalentes si sus tablas de verdad son idénticas. Usaremos el símbolo de tres líneas horizontales paralelas ( ≡ ) para anotar equivalencia.
Tautología.<br />
Una proposición será llamada una tautología si para cualquier valor de sus componentes, su valor de verdad siempre es verdadero.
Contradicción.<br />
Una proposición será llamada una contradicción si para cualquier valor de sus componentes, su valor de verdad siempre es verdadero.