max(x,y) = x + (y <img src=menop.gif> x)<br>
Infatti se y &ge; x&nbsp; x+(y<img src=menop.gif>x) = x+(y&#150;x) = y;<br>
se x &gt; y&nbsp; x+(y<img src=menop.gif>x) = x+0 = x.<br>


Grazie ai risultati di questa sezione avremmo anche potuto usare uno qualunque degli altri formalismi.