Phrase guide

Boolean logic

noun · 2 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

A system of symbolic logic that is the basis of Boolean algebra

Definition source: English Wiktionary via Wiktextract

Usage: uncountable, usually

Topics: computing, engineering, human-sciences, logic, mathematics, natural-sciences, philosophy, physical-sciences, sciences

Examples

  • Boolean logic can be shown to be "embedded" in integer arithmetic (modulo 2) by assigning polynomials to logical connectives, like so: operatorname NOT(x)=1-x, operatorname AND(x,y)=xy, operatorname OR(x,y)=x+y-xy.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

2

noun

Meaning 2

a system of symbolic logic devised by George Boole; used in computers

Definition source: Princeton WordNet 3.0

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: Boolean algebra

Antonyms: none provided

Broader terms: symbolic logic, mathematical logic, formal logic

History

Etymology

No etymology was provided for this word.

Across languages

Translations

9 source translations are retained for this English entry.

  • Czech: Booleova logika — system of symbolic logic
  • Czech: booleovská logika — system of symbolic logic
  • French: logique booléenne — system of symbolic logic
  • German: boolesche Logik — system of symbolic logic
  • Indonesian: logika boolean — system of symbolic logic
  • Macedonian: Булова логика (Bulova logika) — system of symbolic logic
  • Polish: logika boolowska — system of symbolic logic
  • Serbo-Croatian: Booleova logika — system of symbolic logic
  • Turkish: Boole mantığı — system of symbolic logic