Question

A sentença lógica A ^ (B v ~ C) é equivalente a: (1 ponto)
a. A ^ (~B ^ C)
b. ~A v ~ (B v ~C)
c. ~ (~A v (~B ^ C))
d. Todas as respostas anteriores.
e. Nenhuma das respostas anteriores.
Assinale a alternativa correta e demonstre de que forma
chegou a esta conclusão.

Answer 1

Resposta:

e

Explicação:

A ^ (B ^ ~C) =

~[~(A ^ (B ^ ~C))] =

~[( ~A v ~(B ^ ~C))] =

~[( ~A v (~B v ~~C))] =

~[( ~A v (~B v C))] =

Tudo isto aí que foi feito está ligado as leis de Augustus De Morgan.

Não se esqueça que:

~~A = A

B' ^ 'C = (B v C)'

(B ^ C)' = B' v 'C