Logique propositionnelle : Formes et applications normales

Cette séance de cours couvre les concepts de forme normale disjonctive (DNF) et de forme normale conjonctive (CNF) en logique propositionnelle, y compris leur construction et leurs applications. Il traite également de la complexité des représentations du DNF et du CNF, en soulignant comment la taille des propositions résultantes peut croître de manière exponentielle. Des exemples et des techniques pour convertir des énoncés propositionnels arbitraires en formes canoniques sont présentés, soulignant leur importance dans la théorie automatisée des théorèmes et de la complexité. La séance de cours se termine par un casse-tête logique impliquant des chevaliers et des knaves sur une île, illustrant l'application de la logique propositionnelle dans la résolution de problèmes de raisonnement logique.