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.