Sejam p e q duas proposições lógicas simples e E uma expressão composta a partir de p e q, exclusivamente. Sabe-se que a expressão E é logicamente equivalente à expressão [(p ∧ q) ∨ ((~p) ∨ (~q))].

A expressão lógica E é um(a)