simplify ~b || ~a&b || ~a&c