Monotone circuit (source code)

= Monotone circuit

A monotone <Boolean circuit> uses only AND and OR gates, variables, and optional constants. It computes a <monotone Boolean function>; negation gates are excluded.