$(a)\;a\;tautology\qquad(b)\;a\;fallacy\qquad(c)\;equivalent\;to\; p\;\leftrightarrow q\qquad(d)\; equivalent\;to\;\sim p\; \leftrightarrow q$