>>1
p q ¬p ¬q p→q ¬q→¬p
0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 0 0 1 1

∴(p→q)⇔(¬q→¬p)