The majority function is a [[unate function]], symmetric, monotone increasing, and self-dual. It therefore, with the addition of just an [[inv ...y gate]]''' is a [[logic gate]] that implements the majority function as a circuit.

...into its smallest [[logically equivalent|equivalent]] form. While the best circuit design depends on the technology involved, minimization usually translates ...just ANDs and ORs operations without negation. By an extension, [[monotone circuit]]s are circuits in which only [[AND]] and [[OR]] [[logic gates|gates]].