Definition, synonyms and related words
A logical proposition that cannot be derived from other logical propositions by a Boolean operation.