boolean simplification examples - Search