Circuit minimization for Boolean functionscircuit minimization is a problem of obtaining the smallest logic circuit.