"The calculation has not been completed and if the application executes successfully, the calculation has been completed. Therefore, the application did not execute successfully. Express this using propositional logic of a rule of inference. Let $p$ be "The application executes successfully" and $q$ be "the calculation has been completed.

$(notq(p^{{?}^{?}}q))$notp

$(not{q}^{{?}^{?}}(pq))$notp

$(not{q}^{{?}^{?}}(pq){)}^{{?}^{?}}$notp

$(not{q}^{{?}^{?}}(p^{{?}^{?}}q))$notp