Boolean atom

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

Noun

  1. A logical proposition that cannot be derived from other logical propositions by a Boolean operation.
    • This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sⱼ must contain some formula πB and its conjugate, where B is a Boolean atom of X. - 1975, Sue Ann...
    • If C is a Boolean atom, the claim is obviously true. - 1982, Krister Segerberg, Classical propositional operators, page 55:
    • A list is a bit vector if each of its members is a Boolean atom. - 1994, Specification and Verification of Gate-level VHDL Models of Synchronous and Asynchronous Circuits, page 4:

Forms

Boolean atoms