A data type whose members can assume only logical values (usually TRUE and FALSE) and can be operated on only by logical operators, such as AND, OR, and NOT.