(a or not b) and (a or b or not c)