Program to minimize boolean functions using D-algorithm (Roth)