Expression Forms
lFunction symbols
land: ú . && juxtaposition
Example: x y means x ú y
Example: x y means x ú y
lor: û + ||
lnot: ù ! Õ superscript
(overbar)
lExample: These mean the same
thing:
l(a ú b) û (c ú ù d)
lab + cdÕ
lBinding order, tightest to
weakest: not, and, or