how to simplify logic expressions - Search