Logical expressions consist of combinations of logical literals ({TRUE} or {FALSE}), logical variables, Boolean operators, relations, and parentheses (see Boolean operators).

Relations consist of combinations of variables, literals, constants, or expressions with appropriate relational operators (see Relational operators).