The next state table of a 2-bit saturating up-counter is given below.

The counter is built as a synchronous sequential circuit using T flip-flops. The expressions for T1 and T0 are [GATE 2017 ||SET 2||MCQ||2 Marks]
T1 = Q0Q1, T0 = Q'0Q'1
T1= Q'1Q0, T0= Q'1+ Q'0
T1= Q1+ Q0, T0= Q'1+ Q'0
T1= Q'1Q0, T0 = Q1+ Q0
