OCaml (option informatique) · Chapitre 17 · Application directe du cours
Taille d'une formule
Logique propositionnelle · niveau 1 (application)
Énoncé
Écrire taille f : le nombre de nœuds (variables et connecteurs) de la formule.
Corrigé
let rec taille f =
match f with
| Var _ -> 1
| Non g -> 1 + taille g
| Et (g, h) | Ou (g, h) -> 1 + taille g + taille hRécursion sur l'arbre : une feuille compte 1, un connecteur unaire 1 + sa sous-formule, un binaire 1 + les deux. C'est la fonction taille des arbres du chapitre 3, adaptée.
Exercices semblables
- Implication et contraposée corrigé
- Substitution corrigé
- Trouver un modèle corrigé
- Évaluer corrigé
- Nombre de variables corrigé