boolean algebra simplification examples and solutions