Professional Documents
Culture Documents
p q ¬p ¬q (p → q) (p → q) ∧ ¬p [(p → q) ∧ ¬p] → ¬q
V V F F V F V
V F F V F F V
F V V F V V F
F F V V V V V