Use algorithm TautologyTest to prove that the following expressions are tautologies. a. (left[B^{prime} wedge(A ightarrow B) ight] ightarrow A^{prime}) b. ([(A ightarrow

Use algorithm TautologyTest to prove that the following expressions are tautologies.

a. \(\left[B^{\prime} \wedge(A \rightarrow B)\right] \rightarrow A^{\prime}\)

b. \([(A \rightarrow B) \wedge A] \rightarrow B\)

c. \((A \vee B) \wedge A^{\prime} \rightarrow B\)