(a or c) and b or not c