(A v B) ^ ~D