Simplify Boolean Functions Algebraically