Tengo esta fórmula:
F = (¬A B) D (¬D E ¬C) C (¬C E ¬B) ¬B.
Y lo convertí en una fórmula de cuernos:
F = (A -> B) ( 1 -> D) (D C -> E) (1 -> C) (C B -> E) (B -> 0)
Ahora quiero saber si esto es satisfactorio pero no estoy seguro de cómo hacerlo. Cualquier ayuda será muy apreciada. Gracias.
Un estilo de razonamiento es la propagación hacia adelante.
Itere sobre las cláusulas, y siempre que encuentre una cuyas precondiciones hayan sido satisfechas (en la primera iteración, $1\rightarrow D$ sería uno) anotar su consecuente como satisfecho y eliminar la cláusula.
Entonces, una vez que se llega al final de la lista, se vuelve a empezar desde el principio, hasta que se hace una iteración completa en la que no se han podido satisfacer más consecuencias.
Por ejemplo, en la primera iteración se deduce $D, C$ .
En el segundo $E$ etc.
¿Te parece que eso tiene sentido?
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
