# Boolean logic

Jump to: navigation, search

## English

### Noun

Wikipedia has an article on:

Wikipedia

1. (mathematics, logic, computing) 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: $NOT(x) = 1 - x, \quad AND(x,y) = x y, \quad OR(x,y) = x + y - x y.$