p |
q |
~q |
p∧ ~q |
p→q |
(p∧ ~q)↔( p→q) |
T |
T |
F |
F |
T |
F |
T |
F |
T |
T |
F |
F |
F |
T |
F |
F |
T |
F |
F |
F |
T |
F |
T |
F |