Consider a 2-bit saturating up/down counter that performs the saturating up count when the input
P is 0, and the saturating down count when
P is 1. The Next State table of the counter is as shown. The counter is built as a synchronous sequential circuit using D flip-flops.
Input P00001111Current Q100110011Current Q001010101Next Q1+01110001Next Q0+10110010
Which one of the following options corresponds to the expressions for the inputs of the D flip-flops,
D1 and
D0?