boolean algebra

English Thesaurus

1. a system of symbolic logic devised by George Boole; used in computers (noun.cognition)

hypernym	:	formal logic, mathematical logic, symbolic logic,
definition	:	any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition)