Boolean logic
WordNet

noun


(1)   A system of symbolic logic devised by George Boole; used in computers
 
x
OK