2. (6 points) In this question, you will construct a circuit that takes a pair of fixed width two-bit representations (x1to)2 and (yiyo)2 and computes the two output bits of the maximum between the difference of the inputs and 0 In other words, if m = (zi Zo)2 and n = (yk)2, your circuit should output zi and zo where ifm2n otherwise m-n (2120)2 = (a) Draw the truth table with two output columns z1 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 nomal form (c) Draw the resulting circuit with four inputs and two outputs implementing your design from part b