OCaml (option informatique) · Chapitre 17 · Application directe du cours

Évaluer

Logique propositionnelle · niveau 1 (application)

Énoncé

Avec f = Et (Ou (Var 0, Non (Var 1)), Var 2), évaluer f sous la valuation x0 = false, x1 = false, x2 = true.

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.