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 multivalued logic). The term is also applied to the hardware—components and circuits—in which such expressions and tables are implemented. See also combinational circuit, digital design, logic circuit, q-ary logic, sequential circuit.