need help with building the truth table and program! thank you!

Q3. Decide which of the following formulas are tautologies, by building their truth tables (by hand). Pirite 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) Note: If submitting answers to more than 2 questions, the best 2 will be graded. Submit everything as a single zip file on canvas