Uma equivalência lógica é uma tautologia. Considerando os conetivos da disjunção inclusiva (?), conjunção (?) e negação (¬), há uma equivalência lógica na alternativa: