Évaluer
Exercice · OCaml (option informatique), chapitre 17 — Logique propositionnelle
Énoncé
Avec f = Et (Ou (Var 0, Non (Var 1)), Var 2), évaluer f sous la valuation x0 = false, x1 = false, x2 = true.
Corrigé
let v = [| false; false; true |]
(* evalue v f : Ou (false, not false) = Ou(false, true) = true ; Et(true, true) = true *)evalue v f vaut true : Var 0 est false, Non (Var 1) est true, leur ou est true ; Var 2 est true ; le et final est true.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.