4. Show that xy((A(x)B(y))(C(x,y)B(y))) is logically equivalent to xy(B(y)(A(x)C(x,y))). Make sure to cite all steps (e.g. De Morgan's law). You should neither combine steps nor skip steps. The only steps that can be combined on a single line are the associative and commutative laws.(10 points)