Sejam A, B e C proposições simples e ~A, ~B e ~C as respecti...
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: