Lab2ejercicio5.gcl

[
const​ m: int;
const​ n: int;
var​ o: int;
{ true }
if ( m == 10 ) ->
o := m/n;
[] ( m == 5 ) ->
o := m*n;
[] ( m == 3 ) ->
o := m+n;
[] ( m == 2 ) ->
o := m**n;
[] ( m != 2 != 3 != 5 != 10  ) ->
o := m;
fi
{​ (((m != 10) \/ (o == m/n)) /\ ((m != 5) \/ (m*n == o)) \/ ((m != 3) \/ (m+n == o)) /\ ((m == 2) != (m**n == o)) /\ ((m == 2 ==  3 == 5 == 10) \/ (m == o))) }
]