All are tautologies. These four formulas basically correspond to the truth table of implication operator.
For example, $\neg A\wedge B \rightarrow (A\rightarrow B)$ means that when $A$ is false, $B$ is true then $A \rightarrow B$ is true. Which we know is true.