Pour propager les formules ¬A, (A∨B) et (¬B∨C), nous allons utiliser la résolution propositionnelle pour déterminer les conséquences logiques. Voici les étapes détaillées :

Formules initiales :

¬A
(A ∨ B)
(¬B ∨ C)

Étape 1 : Propagation de ¬A dans (A ∨ B)
La formule (A ∨ B) signifie que si A est faux, alors B doit être vrai pour que la disjonction reste vraie. Or, nous avons ¬A (A est faux). Donc :
Si A est faux, alors pour que (A ∨ B) soit vraie, B doit être vrai.

Conclusion intermédiaire :
B = vrai

Étape 2 : Propagation de B = vrai dans (¬B ∨ C)
La formule (¬B ∨ C) signifie que si B est vrai, alors ¬B est faux, et donc C doit être vrai pour que la disjonction reste vraie. Or, nous avons B = vrai, donc :
¬B = faux
Pour que (¬B ∨ C) soit vraie, C doit être vrai.

Conclusion finale :
C = vrai

Résumé des conclusions :
B = vrai
C = vrai

Vérification :
¬A est vrai (hypothèse initiale).
(A ∨ B) est vrai car B est vrai.
(¬B ∨ C) est vrai car C est vrai.

Toutes les formules sont satisfaites avec B = vrai et C = vrai.

Résultat final :
B et C sont vrais. A est faux.