1. Suppose that we have two 4-bit input integers x and y, represented as in Exercises 3.29–3.32. Give a proposition over {x0, x1, x2, x3, y0, y1, y2, y3} that expresses the condition that x = y. 2....

1. Suppose that we have two 4-bit input integers x and y, represented as in Exercises 3.29–3.32. Give a proposition over {x0, x1, x2, x3, y0, y1, y2, y3} that expresses the condition that x = y.

2. Given two 4-bit integers x and y as in the previous exercise, give a proposition over the Boolean variables {x0, x1, x2, x3, y0, y1, y2, y3} that expresses the condition that x ≤ y.