Boolean atom
nounDefinitions
A logical proposition that cannot be derived from other logical propositions by a Boolean…
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.
- If C is a Boolean atom, the claim is obviously true.
- A list is a bit vector if each of its members is a Boolean atom.
The neighborhood
Vish — recursive loop
No curated loop yet for Boolean atom. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA