You are on page 1of 1

1 2 3 4

⁓p /\ q ⁓p /\ ⁓q (p V ⁓
V p (p → q) /\ p
q) V V V V V
F F V F F F
V V F V V V F F F V
F F F F F V
V V V V V F V V F F
V V V V F F
F F F F F F V F F F
V F F V V F
F V V V V

5
6
(p ↔ q) /\ ⁓
{ (p → q V ( ↔ q)} /\ {(⁓ → q) V ⁓
V V V F F ⁓ ) p p p}
V F F F F F V V V V V V V V F V V V F
F F V F V V V F F V V F F V F V F V F
F V F V V F F V V F F F V F V V V V V
V F V F V V V F V V F F V V

You might also like