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)