Hello, you have come here looking for the meaning of the word
Boolean atom. In DICTIOUS you will not only get to know all the dictionary meanings for the word
Boolean atom, but we will also tell you about its etymology, its characteristics and you will know how to say
Boolean atom in singular and plural. Everything you need to know about the word
Boolean atom you have here. The definition of the word
Boolean atom will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
Boolean atom, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
Boolean atom (plural Boolean atoms)
- (logic) A logical proposition that cannot be derived from other logical propositions by a Boolean operation.
1975, Sue Ann Toledo, Tableau systems for first order number theory and certain order theories, page 234:This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sj must contain some formula πB and its conjugate, where B is a Boolean atom of X.
1982, Krister Segerberg, Classical propositional operators, page 55:If C is a Boolean atom, the claim is obviously true.
1994, Specification and Verification of Gate-level VHDL Models of Synchronous and Asynchronous Circuits, page 4:A list is a bit vector if each of its members is a Boolean atom.