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