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