boolean algebra simplification rules - Search