Exercices corrigés — Logique propositionnelle (informatique (MP2I/MPI))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- L'implication n'est pas associative, l'équivalence l'est Exercice de TD
- Tautologie, antilogie, ou ni l'un ni l'autre Exercice de TD
- Conséquence logique, implication, et ex falso Exercice de TD
- Mise sous forme normale, pas à pas Exercice de TD
- Ce que coûte une modélisation : le pigeonnier Exercice de TD
- La parité : les DEUX formes normales explosent Exercice de TD
- Problème — La transformation de Tseitin : une fnc linéaire Exercice de TD
- Taille, hauteur, et le compte des sous-formules Application directe du cours
- n'est pas , et le programme s'en aperçoit Application directe du cours
- Le type du cours ne permet pas d'écrire substituer Application directe du cours
- Lire les deux formes normales dans la table Application directe du cours
- Problème — Un évaluateur, un compteur de modèles, un testeur de tautologie Application directe du cours
- Problème — Quine sur les fnc : ce que la simplification fait gagner Application directe du cours
- Problème — -sat : pourquoi le saut se fait entre et Application directe du cours
- Problème — Coloration en sat, et une famille de clauses qu'on peut jeter Application directe du cours