# Phi_1 :
(r_i1 = 0)  + AF (o1 = 1);
# Expected result : formula passed
#---------------------------------------------------------
# Phi_2 :
(r_i1 = 0)  + AF (o2 = 1);
# Expected result : formula passed
#---------------------------------------------------------
# Propriéte globale :
(o1 = 0)  + AF (o2 = 1);
# Expected result : formula passed
#---------------------------------------------------------
A((o1 = 0) U((o1 = 1) * AF(o2 = 1)));
# Expected result : formula passed
#---------------------------------------------------------
#A((o1 = 0) U((o1 = 1) * AG(o2 = 1)));
# Expected result : formula passed
#---------------------------------------------------------
#(r_i1 = 0)  + AF (((o1=1) *( o2 = 1)));
# Expected result : formula passed
#---------------------------------------------------------
#(r_i1 = 0) + (AF(o1 = 1) * AF (o2 = 1));
# Expected result : formula passed
#---------------------------------------------------------
#AG (o2 = 0);
# Expected result : formula passed (Counter-example test)
#---------------------------------------------------------