Segurança da Informação (TI)

Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t₁, t₂, ... , t_n, são equivalentes é o mesmo que afirmar que é uma tautologia a proposição