CS计算机代考程序代写 CSC240 Winter 2021 Midterm Assessment Question 2

CSC240 Winter 2021 Midterm Assessment Question 2
YOUR NAME and STUDENT NUMBER
2. (10 marks) Consider the predicate
(∀x ∈ D.[R(x) IFF ∀y ∈ D.A(x, y)]) IMPLIES ∀y ∈ D.(R(y) IMPLIES A(x, y)).
Derive a logically equivalent predicate in Prenex Normal Form. Say what transformation(s) you are using at each step of your derivation.
Solution:
1