Computer Science Archive: Questions from October 02, 2023
-
Question 9 (5 pts): Skolemize the expressions (1 point each): 1. \( \exists x P(x) \) 2. \( \forall x \exists y P(x, y) \) 3. \( \exists x \exists y \forall z P(x, y) \wedge Q(y, z) \) 4. \( \forall x1 answer -
1 answer
-
\( f(v, w, x, y, z)=\left(v+w^{\prime}+x^{\prime}+y^{\prime}+z\right)\left(v+w^{\prime}+x+y^{\prime}+z\right) \)1 answer -
y \( G(C, E, X, Y, Z)=C X^{\prime}\left(E Y^{\prime} Z\right)+C X^{\prime}\left(E^{\prime}+Y+Z^{\prime}\right) \)1 answer