Boolean logic

== English == === Noun === Boolean logic (usually uncountable, plural Boolean logics) (computing, logic, mathematics) 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 , AND ⁡ ( x , y ) = x y , OR ⁡ ( x , y ) = x + y − x y . {\displaystyle \operatorname {NOT} (x)=1-x,\quad \operatorname {AND} (x,y)=xy,\quad \operatorname {OR} (x,y)=x+y-xy.} ==== Hypernyms ==== logic ==== Translations ==== === Further reading === Boolean logic on Wikipedia.Wikipedia