Boolean Logic

TRUE and FALSE values are combined using the operators AND, OR,NOT, and IMPLIES.

Example: XOR Function

§ xor

GIVEN x IS A BOOLEAN, y IS A BOOLEAN
GIVETH A BOOLEAN
DECIDE xor x y IS
     x AND NOT y
  OR NOT x AND y