Decide which of the following formulas are tautologies, by building their truth tables (by hand). Write a Python program that verifies your results.(~B => ~A) => (A => B) (reverse of contraposition)((A => B) => A) => A (Peirce's law)(~A => A) => A (consequentia mirabilis)(A => ~B) => (B => ~A) (contraposition with negated consequent)

Q3. Decide which of the following formulas are tautologies, by building their truth tables (by hand). Write a Python program that verifies your results. (~B => ~A) => (A => B) (reverse of contraposition) ((A => B) => A) => A (Peirce's law) (~A => A) => A (consequentia mirabilis) (A => ~B) => (B => ~A) (contraposition with negated consequent)