Boolean logic

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.