Please solve this by using the Python code

Problem 5. (Bonus 10 points) In this problem, you will use the laws of propositional logic to prove equivalences and implications. Proofs via truth tables are not allowed. Your proofs will be expressed in Python notation, one formula per line, with each line equivalent to the previous. For each line except the first, explain what law (from Section 1.5 in the textbook) makes it equivalent to the previous line by putting the symbol # and then the name of the law you are using. You may combine some laws into a single line when it is very clear what you are doing (for example, you can apply associativity and commutativity together to rearrange order and add/remove parentheses). We give you an example how it's done first. Example: Prove that "if you love winter, then you like Boston is equivalent to "if you don't like Boston, then you don't love winter." Use p to denote "you like Boston" and q to denote "you love winter." q