boolean algebra simplification sample problems