so-un-bot/Ingegneria del Software/0324_12/correct.txt

1 line
No EOL
55 B
Text

F(x, y, z) = if (x > y) then (z == x) else (z == y + 1)