A methodology for minimizing Boolean functions.