English

Noun

Boolean logic ‎(uncountable)

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:

Translations