BabelNet

bn:00012145n

Noun Concept

Boolean logic Boolean algebra

A system of symbolic logic devised by George Boole; used in computers WordNet 3.0

Definitions

Examples

Relations

Sources

A system of symbolic logic devised by George Boole; used in computers WordNet 3.0 & Open English WordNet

A system of symbolic logic that is the basis of Boolean algebra. Wiktionary

System of symbolic logic. Wiktionary (translation)

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 . Wiktionary

IS A

symbolic logic

WordNet 3.0 & Open English WordNet

Boolean logic, Boolean algebra

Wiktionary

Boolean logic