A \[p\] B \[p \rightarrow r\] C \[q\leftrightarrow r\] D \[p\; \wedge \sim p\] E \[q \; \vee \sim q\]