In: Advanced Math
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)(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)