simplify boolean expression using boolean algebra