Let s denote "Leo will study"; .t denote "Vahid will study"; p denote "Leo will pass the class"; 9 denote "Vahid will pass the class". Write a propositional formula for "Both Leo and Vahid will study but only one of them will pass the class." Implement your proposition in Python syntax using only operators and, or, not and parentheses. Submit a file named p2.py Problem 3. (5 points) Alice, Bob, Chloe, and David are friends trying to decide whether to go on a hike or go to a movie next weekend. Alice is recovering from an ankle injury. They will hike if Alice's ankle is well by the weekend, and the majority of Bob, Chloe, and David want to hike; otherwise, they will go to a movie. Let the predicate a be True if Alice's ankle is well and False otherwise. Let predicates b, c, and d be True if Bob, Chloe, and David, respectively, prefer to hike, and False otherwise. Write a propositional formula that is True if they will hike, and False if they will go to a movie. Implement your proposition in Python syntax using only operators and, or, not and parentheses. Submit a file named p3.py Problem 4. (10 points) In this problem, individual propositions will no longer be single variables, but rather equalities and inequalities. For example, a formula for "x is greater than 1 and at most 17 or is equal to 25" will look like (x > 1 and x =