💡 Words with a Similar Meaning to "Boolean atom"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| boolean logicnoun | (computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra |
| boolean functionnoun | (algebra, logic, computing) Any function based on the operations AND, OR and NOT, and whose elements are from the domain of Boolean algebra |
| simple | Uncomplicated; lacking complexity; taken by itself, with nothing added. |
| booleannoun | (logic, computing) Pertaining to data items that can have “true” and “false” (or, equivalently, 1 and 0 respectively) as their only possible values and to operations on such values. |
| boolean algebranoun | (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT |
| boolean variablenoun | (mathematics, logic, computing) Any variable, from the domain of Boolean algebra, having one of only two values |
| atomic formulanoun | (logic) A formula which does not have smaller subformulas. |
| tautologynoun | (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition. |
| literal | Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic. |
| not operatornoun | (mathematics, logic) An operation on logical values that changes true to false, and false to true. |
| propositional logicnoun | (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. |
| closed formulanoun | (logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound. |
| truth functionnoun | (mathematics, logic) A Boolean function whose value is interpreted as truth or falsity |
| formulanoun | A plan or method for dealing with a problem or for achieving a result. |
| propositional variablenoun | (logic) A variable that can either be true or false. |
| positive logicnoun | (logic) A logical system or fragment thereof not containing a negation operator. |
| boolean latticenoun | (algebra) The lattice corresponding to a Boolean algebra. |
| free boolean algebranoun | (algebra) A field of sets whose elements are equivalent to Boolean formulas (or, perhaps more precisely, equivalence classes of Boolean formulas). Starting with a set of n variables which are independent of each other and are called generators, the power set of this set has 2ⁿmembers which may be called atoms and are valuations of the n variables: a valuation can be considered to be a set of variables which are "true" under that valuation, or a conjunction of generators (such that variables not included in that set are included in negated form in the equivalent conjunction). Then the power set of the set of atoms yields a set of 2^(2ⁿ) members which are the elements of the said field of sets. These elements correspond to Boolean formulas: a formula can be considered to be a set of valuations which make the formula true, or a linear combination (i.e., a disjunction) of atoms. |
| law of nontrivialitynoun | (logic) The rule that states that not all propositions are true, the opposite of trivialism. |
| predicate logicnoun | (logic) First-order logic. |
Translate “Boolean atom” into Another Language
Pick a language — the word will be pre-filled in the translator.