Question

~(P⠆ ’q) ⠆ ’ p
simplify by laws

Answer 1

Solution:

$\sim(p→q) → p \\\sim(\sim p \vee q) → p \\(p \wedge \sim q) → p$

$\\\sim(p \wedge \sim q) \vee p \\\sim p \vee q \vee p \\\sim p \vee p \vee q \\ T \vee q \\ T$