A type that has two values: true and false. Logical operators and, or, not, xor are defined on the type. Note that and and or operators are short-circuiting: if the second operand can't affect the value of the result, it's not evaluated, as is the case when the first operand to and is false.