Question

The proposition $p\to \sim \left(p\wedge \sim q\right)$ is

• A. A contradiction
• B. A tautology
• C. Either a tautology or a contradiction
• D. Neither a tautology nor a contradiction

Answer 1

Answer: (D)

$p\to \sim \left(p\wedge \sim q\right)$
$\cong \sim p\vee \sim (p\wedge \sim q)\cong \sim p\vee (\sim p\vee q)\cong \sim p\vee q$
Clearly, it is neither a tautology nor a contradiction