A logic circuit in which input devices are AND gates and output devices are OR gates; it thus has the form AND-to-OR. This represents Boolean algebra functions of the form

expressing a sum of product terms, i.e. an OR of AND terms, containing complemented (negative) or uncomplemented variables (′ after a variable denoting the complemented form).