LOGICAL NOT

(not expr) ;; test for the logical inverse

This is the usual "logical AND" instruction which will evaluate to "true" if all of the terms within it also evaluate to "true". Some back-end languages use short-circuiting and some do not so you will have to research how the rendered code operates on each chosen backend.

---