simplifying logic with karnaugh map - Search