Using truth table show that – (p → – q) ≡ p ∧ q
(P → – q) ≅ P ∧ q
Truth table
| P (1) | q (2) | q (3) | P → –q (4) | – (P → –q) (5) | P ∧ q (6) | | TTFF | TFTF | FTFT | FTTT | TFFF | TFFF |
From the truth table, we get 5th and 6th columns are identical
:. – (P → – q) ≅ P ∧ q