Através do método Unit Propagation, resolva as seguintes fórmulas:
Passo 1
O enunciado apresenta a fórmula em forma normal conjuntiva
e pede para aplicar o método de Unit Propagation. Lembrando que uma cláusula unitária é uma cláusula com exatamente um literal, e que, sempre que encontramos
, atribuímos o valor que torna
verdadeiro e simplificamos o restante da fórmula.
Passo 2
Inspecionamos cada cláusula em
:
Todas elas têm tamanho 2, ou seja, não há nenhuma cláusula unitária em
.
Passo 3
Como não existe cláusula unitária, não podemos propagar nenhum valor. O algoritmo de Unit Propagation encerra sem fazer atribuições e sem reduzir
.
Resposta
Não há cláusulas unitárias, portanto Unit Propagation não atribui nenhum literal e a fórmula permanece