Através do método Unit Propagation, resolva as seguintes fórmulas:
Passo 1
O enunciado nos dá a fórmula em forma normal conjuntiva (CNF) composta pelas cláusulas
,
e
, e pede para aplicar o método de Unit Propagation, que consiste em:
- Identificar cláusulas unitárias (com um único literal).
- Atribuir a esse literal o valor que torna a cláusula verdadeira.
- Simplificar todas as cláusulas da fórmula com base nessa atribuição (elimina-se cláusula satisfeita e literal falso).
- Repetir até não restarem cláusulas unitárias.
Passo 2
Listando as cláusulas e contando literais:
tem 2 literais.
tem 2 literais.
tem 2 literais.
Não há, portanto, nenhuma cláusula com exatamente um literal.
Passo 3
Como não existe cláusula unitária inicial, o método de Unit Propagation não gera nenhuma atribuição e termina imediatamente sem simplificar a fórmula.
Resposta
Não ocorre nenhuma propagação de unidades; nenhuma atribuição é produzida.