Well, the simplifying logic function with 4 expresions works