Boolean logic

English

Noun

Boolean logic (usually uncountable, plural Boolean logics)

(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)=xy,\quad OR(x,y)=x+y-xy.$

Translations

system of symbolic logic

Czech: Booleova logika f, booleovská logika f
French: logique booléenne f

Macedonian: Булова логика f (Búlova lógika)
Serbo-Croatian: Booleova logika f

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.