logic minimization program
