Boolean logic

Noun

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

Translations

 * Czech: Booleova logika, booleovská logika
 * French: logique booléenne
 * German: boolesche Logik
 * Macedonian: Булова логика
 * Serbo-Croatian:
 * Latin: Booleova logika
 * Turkish: Boole mantığı