4. (8 points) Ciri, Triss, and Yennefer are enthusiast sloth collectors who are bragging about how many sloths they have. They are coy about revealing the exact amounts, but they've determined for sure that the following must be true: If Yennefer doesn't have the most sloths, Triss must have the most sloths. If Triss doesn't have the least sloths, Ciri must have the most sloths. Use a truth table to determine who has the most sloths, who has the least sloths, and who's in the middle. Assume that no two people have the same number of sloths. Hint: Define four propositions. The first three are for each person having the most sloths, and the fourth is for Triss having the least sloths. You will get more than one row in the table that seem to fit the given facts, but think carefully about whether any of those can be eliminated. 5. (2 points) What is the negation of the following statement? Your answer should be expressed so that there are no negations to the left of any quantifiers, and each negation is applied directly to a predicate (P, Q, or R). Hint: Rewrite the implication using simpler logical operators, then apply De Morgan's law. Vaayvz(-P(x, y) +Q(2) 1-R(y, z))