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