Uma tautologia é uma proposição composta em que seu valor lógico será sempre verdadeiro, independentemente do valor lógico das proposições que a estruturam. Nesse sentido, considerando-se p e q como proposições, a proposição composta p^q <-> ~(p -> ~q) é uma tautologia.