A form of Boolean algebra, consisting of negation, conjunction, and disjunction, in which the binary digit 1 has the value "true" and 0 the value "false" (in positive logic) or vice versa (in negative logic). Digital logic is the basis by which all digital devices function.