I'm pretty sure I can solve the other parts of this problem set if you all can just word out this expression for me:
(x0 > y0 → z = x0) o (x0 <= y0 → z = y0)
The quantifier in the middle throws off my wording
I'm pretty sure I can solve the other parts of this problem set if you all can just word out this expression for me:
(x0 > y0 → z = x0) o (x0 <= y0 → z = y0)
The quantifier in the middle throws off my wording