a program used to minimize boolean functions