In this homework, '^' stands for AND, 'v' stands for OR, and '~' stands for NOT.
1. P(x, y, y) | and | P(A, f(B), f(z)) | ||
2. P(x, F(x), A) | and | P(y, y, z) | ||
3. P(x, y, z) | and | Q(A, B, B) | ||
4. Q(x, F(y, A), z) | and | Q(A, F(A, A), x) | ||
5. Q(x, G(y, y), w, F(z, z)) | and | Q(H(u, v), v, A, F(x, y)) |
(Thanks to Jude Shavlik at University of Wisconsin-Madison for
these problems)