Problem 3. (10 points) Are the following functions satisfiable? If the function is satisfiable, with a single line containing 4 comma-separated values, each of which is either True or False, for x, y, Z, v in this order. For example, you would submit: True False,True False. If the function is not satisfiable, use the laws of propositional logic to prove that the function is a contradiction. a) xy + zv b) (x + y)+z)(y + 2)(x + v) c) x1 + yy + zz + v d) (x+y)(x + y + x) + (x + y + 2)(x + y +z+v)