A methodology for dealing with expressions and state tables
containing discrete (usually two-state) variables: in this sense the term is
synonymous with Boolean algebra (see also multiple-valued logic). The term is
also applied to the hardware - components and circuits - in which such
expressions and tables are implemented. See also digital design, combinational
circuit, sequential circuit.