$P \\rightarrow Q \\equiv \\neg Q \\rightarrow \\neg P$

$P \\rightarrow Q \\equiv Q \\rightarrow P$

$P \\rightarrow Q \\equiv \\neg P \\rightarrow \\neg Q$

$P \\rightarrow Q \\equiv P \\land \\neg Q$