Q33255 - FUNDATEC Engenheiro 2015
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: