The Gödel-Gentzen double-negation translation associates with every formula $\phi$ of classical logic a formula $\phi^g$ of intuitionistic logic such that classical logic proves $\phi$ if and only if intuitionistic logic proves $\phi^g$. Under this translation, which of the following represents the intuitionistic translation of the classical disjunction $P \lor Q$?