Considere a verdade das seguintes proposições compostas:
(A→B), ¬B e (A∨(C∧¬D))
Então, deduzimos a verdade da alternativa:
C é falso.
D é verdadeiro.
A é verdadeiro.
B é verdadeiro.
(C∧¬D) é verdadeiro.
