(a or c) and (b or c)