Formula proposizionale

[One]

Mi viene chiesto di trovare una formula proposizionale che soddisfi:
\( \displaystyle {f{{\left({x},{y},{z}\right)}}}={1} \) se \( \displaystyle {z}=\max{\left\lbrace{x},{y}\right\rbrace} \)

Quindi posso dire che \( \displaystyle {\left({z}\gt{x}\right)} \)\( \displaystyle \wedge \) \( \displaystyle {\left({z}\gt{y}\right)} \) ,però non sò come esprimere il \( \displaystyle \gt \) utilizzando formule proposizionali,mi potete dare una mano?