[top]
[prev]
[next]

## Boolean operations

prefix NOT (p: BOOLEAN) : BOOLEAN
infix AND (p,q: BOOLEAN) : BOOLEAN
infix OR (p,q: BOOLEAN) : BOOLEAN

`NOT p` is the complement of `p`.
`p AND q` is `TRUE` if both `p` and `q`
are `TRUE`.
If `p` is `FALSE`, `q` is not evaluated.

`p OR q` is `TRUE` if at least one of `p` and `q`
is `TRUE`.
If `p` is `TRUE`, `q` is not evaluated.

[top]
[prev]
[next]