Question

The statement $(p \wedge(\sim q)) \Rightarrow(p \Rightarrow(\sim q))$ is

• A. equivalent to $p \vee q$
• B. equivalent to $(-p) \vee(-q)$
• C. a contradiction
• D. a tautology

Answer 1

Answer: (D)

a tautology

Answer 2

(p∧∼q)→(p→∼q)
≡(∼(p∧∼q))∨(∼p∨∼q)
≡(∼p∨q)∨(∼p∨∼q)
≡∼p∨t≡t