Através do método Unit Propagation, resolva as seguintes fórmulas:
\{-\mathrm{A}, \mathrm{B}\},\{\mathrm{C}, \mathrm{B}\},\{\mathrm{A},-\mathrm{C}\},\{\mathrm{A},-\mathrm{B}\}

Passo 1

O enunciado apresenta a fórmula em forma normal conjuntiva
F \;=\;\{\{\lnot A,\,B\},\;\{C,\,B\},\;\{A,\,\lnot C\},\;\{A,\,\lnot B\}\}
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 \{L\}, atribuímos o valor que torna L verdadeiro e simplificamos o restante da fórmula.

Passo 2

Inspecionamos cada cláusula em F:
\{\lnot A,\,B\},\quad \{C,\,B\},\quad \{A,\,\lnot C\},\quad \{A,\,\lnot B\}.
Todas elas têm tamanho 2, ou seja, não há nenhuma cláusula unitária em F.

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 F.

Resposta

Não há cláusulas unitárias, portanto Unit Propagation não atribui nenhum literal e a fórmula permanece
\{\{\lnot A,\,B\},\;\{C,\,B\},\;\{A,\,\lnot C\},\;\{A,\,\lnot B\}\}.

Exercícios relacionados