(** TP08 logique propositionnelle en OCaml *)

type formule =
  | Vrai | Faux              (* constantes True et Bottom *)
  | Var of int               (* représente la variable x_i de numéro i >= 0 *)
  | Non of formule           (* Non(P) représente ¬ P *)
  | Et of formule * formule  (* Et(P,Q) représente P ^ Q *)
  | Ou of formule * formule  (* Ou(P,Q) représente P v Q *)
;;