Imagem de fundo

Suponha que Daniel, um técnico de informática, precisa...

Suponha que Daniel, um técnico de informática, precisa resolver um problema que está representado utilizando a lógica formal, na qual os termos A, B, C e D são as entradas, e a saída é determinada por uma expressão lógica utilizando o termo S. Com base no exposto, assinale a alternativa que gera como saída o valor lógico verdadeiro ou 1.


A

S = ((A v ¬A) ^ B ^ C ^ D ^ ¬B ^ ¬C ^ ¬D)


B

S = (¬C ^ C)


C

S = (A v B v C v D v ¬A v ¬B v ¬C v ¬D)


D

S = (A ^ B ^ C ^ D ^ ¬A ^ ¬B ^ ¬C ^ ¬D)


E

S = (A ^ ¬A) ^ (D ^ ¬D)