A v B ^ ~D