simplify (a or b or c) and a