Circuit size
= Circuit size
{title2=$M$}
The size of a <Boolean circuit> counts its gates, or in another common convention its wires. The convention must be fixed when stating quantitative bounds. In switching arguments, new clauses created from a <decision tree> are not separate original gates to be charged in the failure union bound.