Bonjour,

J'ai une exercice à résoudre ci-dessous:
Posons A := {p3 => p1, non p3 => p3 } et B := (p1 => non p3) => p2

a - Comment peut on utiliser l'algorithme DPLL pour montrer que B est une conséquence logique de l'ensemble A.
b - Utiliser DPLL pour vérifier si A |= B.
c - Utiliser la méthode de coupure pour vérifier si A |=B.

Je connais le déroulement de l'algo DPLL et le méthode de coupure mais je sais pas comment je les applique dans cette exo.

Merci mille fois pour votre réponse ,