Sejam A, B e C proposições simples e ~A, ~B e ~C as respectivas negações, os conetivos da conjunção, disjunção e condicional são, respectivamente, representados por: ∧, ∩, → . Assim, a fórmula proposicional ~(A ∩ ~B ) → ~C é equivalente a: