Crowdly
Додати до Chrome
Verificação de Programas | Satisfação de Fórmulas Considere um estado de um pr...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Verificação de Programas | Satisfação de Fórmulas
Considere um estado de um programa v em que:
v(x) = 1
v(y) = 2
v(z) = 0
Para cada fórmula, f, abaixo, indique se v ⊧ f.
N.B. As opções incorretas descontam a cotação da pergunta.
0%
100%
0%
0%
100%
100%
100%
0%
100%