Minimization of Boolean Functions* | Synapse