Boolean logic

English

Noun

Boolean logic (usually uncountable, plural Boolean logics)

1. (computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra

   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,\quad \operatorname {AND} (x,y)=xy,\quad \operatorname {OR} (x,y)=x+y-xy.$

Hypernyms

• logic

Translations

system of symbolic logic

• Czech: Booleova logika f, booleovská logika f
• French: logique booléenne f
• German: boolesche Logik f
• Macedonian: Булова логика f (Bulova logika)
• Serbo-Croatian:

  Latin: Booleova logika f

• Turkish: Boole mantığı

Further reading

• Boolean logic on Wikipedia.Wikipedia