2. (6 points) In this question, you will construct a circuit that takes a pair of fixed width two-bit representations (x1^o)2 and (1yo)2 and computes the two output bits of the maximum between the difference of the inputs and 0. In other words, if m = (x1x0)2 and n = (yiyo)2, your circuit should output zi and zo where if m 2 n otherwise m-n ( #0)2 = (a) Draw the truth table with two output columns 21 and zo specifying how their values depends on the input bits. (b) Decide whether to use DNF or CNF to express each column as a compound proposition. Write this proposition, and justify your choice. Reminder: DNF is disjunctive normal form and CNF is conjunctive normal form. (c) Draw the resulting circuit with four inputs and two outputs implementing your design from part b