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

Passo 1

O enunciado nos dá a fórmula em forma normal conjuntiva (CNF) composta pelas cláusulas \{A,\neg B\}, \{B,C\} e \{\neg A,C\}, e pede para aplicar o método de Unit Propagation, que consiste em:
  1. Identificar cláusulas unitárias (com um único literal).
  2. Atribuir a esse literal o valor que torna a cláusula verdadeira.
  3. Simplificar todas as cláusulas da fórmula com base nessa atribuição (elimina-se cláusula satisfeita e literal falso).
  4. Repetir até não restarem cláusulas unitárias.

Passo 2

Listando as cláusulas e contando literais: \{A,\neg B\} tem 2 literais. \{B,C\} tem 2 literais. \{\neg A,C\} 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.

Exercícios relacionados