Program for minimizing boolean functions using Karnaugh maps method