Answered

Bem-vindo ao Sistersinspirit.ca, onde suas perguntas são respondidas por especialistas e membros experientes da comunidade. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes. Explore milhares de perguntas e respostas de uma ampla gama de especialistas em diversas áreas em nossa plataforma de perguntas e respostas.

As fórmulas podem ora ser valoradas em 0, em cujo caso
a valoração falsifica a fórmula, ora ser valoradas em 1, em
cujo caso a valoração satisfaz a fórmula. Estes fatos motivam
a classificação das fórmulas de acordo com o seu comportamento diante de todas as valorações possíveis de seus
átomos. Um dos grandes desafios da computação é encontrar métodos eficientes para decidir se uma fórmula é satisfazível/ insatisfazível, ou se é válida/falsificável. Um dos
primeiros métodos propostos na literatura para a verificação
da satisfatibilidade e validade de fórmulas é o método da
Tabela da Verdade. (SILVA; FINGER; MELO, 2017, p. 13)
Com base em seu conhecimento de Tabela Verdade, analise as afirmativas
a seguir:
I. A quantidade de linhas necessárias para valorar as possíveis respostas
em uma Tabela Verdade aumenta exponencialmente com a quantidade de proposições de acordo com a regra n2 .

II. As respostas obtidas pela fórmula ¬ ∧ ( ) A B são iguais às respostas
obtidas pela fórmula ( ) ¬ ∨A B¬ .
148

III.As respostas obtidas pela fórmula ¬ ∧A B são iguais às respostas
obtidas pela fórmula A B ∧¬ .

É correto o que se afirma apenas em:
a. I.
b. II.
c. III.
d. I e II.
e. II e III.

Sagot :

alinesntana
Resposta correta letra E
Obrigado por escolher nosso serviço. Estamos dedicados a fornecer as melhores respostas para todas as suas perguntas. Visite-nos novamente. Obrigado por visitar. Nosso objetivo é fornecer as respostas mais precisas para todas as suas necessidades informativas. Volte em breve. Sempre visite o Sistersinspirit.ca para obter novas e confiáveis respostas dos nossos especialistas.