Use Python to generate truth tables to verify the distributivity laws below. Please generate separate truth tables for the left and right sides of each equivalence, and show columns for each intermediate operation. The last columns of each should show the equivalence. 1. p^ (qVr) = (p^q) v (p^r) 2. (p^q) =pVq Use Python to generate a truth table that the following statement is a tautology, or true regardless of the truth values of the components. (Hint: Python does not have a specific boolean operator for the conditional, so you will need to rewrite the expression in terms of operators Python does have.) 3. ((p q)^(p q)) p Use Python to generate a truth table that the following statement is a contradiction, or false regardless of the truth values of the components. 4. (pq) ^ (p^-q)