(A OR C)(!A OR B)