definition esempio1 ≝
(FImpl (FNot (FAtom 3)) (FOr (FAtom 2) (FAnd (FAtom 1) (FAtom 0)))).
-eval normalize on [[ esempio1 ]]_v1101.
+(* Decommenta ed esegui. *)
+
+(* eval normalize on [[ esempio1 ]]_v1101. *)
(* Esercizio 3
definition esempio3 ≝ (FOr (FAtom 0) (FAtom 1)).
-eval normalize on (esempio2 [ esempio3 / 2]).
+(* Decommenta ed esegui *)
+
+(* eval normalize on (esempio2 [ esempio3 / 2]). *)
(*DOCBEGIN