Boolean atom

Noun

 * 1)  A logical proposition that cannot be derived from other logical propositions by a Boolean operation.