2H2 + O2 = 2H20
var a, b: integer;…a := 5; b := 3;if a < 3 then b := a+1;if b < 4 then a := 6else a := 8;
((Z>2) ∨ (Z>4)) → (Z>3)
¬(¬A ∧ B) ∧ ¬C