WeBWorK Standalone Renderer

Negate the following statement:

$\text{If Mary fails her classes, then she cannot graduate.}$

$\text{p: Mary fails her classes}$
$\text{q: Mary can graduate}$

Write the statement in formal logic:
A. $\mathbin{\sim} p\rightarrow q$
B. $q\rightarrow p$
C. $p\rightarrow q$
D. $p\rightarrow \mathbin{\sim} q$

Negate the logic:
A. $p\wedge q$
B. $\mathbin{\sim} p\wedge q$
C. $\mathbin{\sim} p\wedge \mathbin{\sim} q$
D. $\mathbin{\sim} p\vee \mathbin{\sim} q$

Rewrite the negated logic in English
A. Mary does not fail her classes or she cannot graduate
B. Mary does not fail her classes and she can graduate
C. Mary fails her classes and she can graduate
D. Mary does not fail her classes and she cannot graduate

You can earn partial credit on this problem.