NOT, AND, OR и булевы выражения

(not p)

(and p1 ... pn)

(or p1 ... pn)

Особые операторы not, and и or — логические связки, служащие для построения логических выражений.

Формы (and ...) и (or ...) оценивают не все подвыражения, а лишь до первого ложного или истинного соответственно.