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

(not p)

• ⇒ T, если p ложно,
• ⇒ NIL, если p истинно.

(and p₁ ... p_n)

• ⇒ NIL, если значение хотя бы одного p₁ ... p_n есть NIL,
• ⇒ значение_n, если все подвыражения дают обобщённую истину.

(or p₁ ... p_n)

• ⇒ NIL, если значения всех p₁ ... p_n есть NIL,
• ⇒ значение_i, представляющее обобщённую истину, если все значение₁, ..., значение_i-1 есть NIL.

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

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