Sejam P, Q e R proposições lógicas simples que compõem a seguinte estrutura proposicional:
em que
representam conectivos lógicos ocultos e 
representa a negação de P.
Sabe-se que tal estrutura proposicional é uma tautologia, isto é, seu valor lógico é sempre verdadeiro quaisquer que sejam os valores lógicos individuais de P, Q e R.
Os conectivos ocultados por 
são, respectivamente,
