An abstract data type is a specification of a data type, i.e.,
a specification of a collection of objects and a set of operations
that act on those objects.
A Boolean ADT
Objects:
The values TRUE and FALSE.
Operations:
AND, OR, NOT, XOR, EQUIVALENT, IMPLIES, as defined by their
truth tables (see any standard book on logic).