(a) Show that - ((~X A y) V x) and ~y A ~x are logically equivalent by developing a series of logical equivalences. (b) Suppose "A" be the "divides" relation on set of integers defined as: for all x, y eZ, x A yex]y. Determine whether A is reflexive, symmetric or transitive.