algebra of sets algebraic structure associativity binary numeral system bit bitwise operation boolean-valued function boolean algebra boolean domain boolean function commutativity complemented lattice computer computer architecture concept processing digital digital audio digital electronics digital photography digital signal processing digital video distributivity electrical engineering engineer formal system george boole google integrated circuit involution laws of form logic logic gate logical graph mathematician programmer programming language sql series and parallel circuits ternary logic venn diagram voltage wikibooks