(A IMPLIES C) OR (B IMPLIES C)