Are the following functions satisfiable?
If the function is satisfiable, with a single line containing 4comma-separated values, each of
which is either True or False, for x, y, z, v in this order. Forexample, you would submit: True,False,True,False.
If the function is not satisfiable, use the laws ofpropositional logic to prove that the function is acontradiction.
a) xy ?+zv
b) (x+y)(x ?+z)(y ?+z ?)(x+v)
c) xx ?+yy ?+zz ?+vv ?
d) (x+y)(x+y+z)+not(x+y+z)not(x+y+z+v)
