Boolean logic

noun1

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,