לוגיקה, מפת קרנו (צמצום פונצקיה לוגית), דומגאות