Design 2 bit synchronous up down counter using T flip flop?

These are the following steps to design 2 bit synchronous up down counter using T flip flop:

Step 1: To design a synchronous up-down counter, we need one extra input called control input. Other than this, in next state column, half of the input must be appeared as up counter and the remaining must be treated as a down counter.

Step 2: After that, we need to construct a state table with excitation table.

Note: To construct excitation table from state table you should know the excitation table of respective flip flop, in this case, it is T flip flop. So check the excitation table for T flip flop Which is:

T Flip Flop Excitation Table

So, the above table is the excitation table for T Flip Flop.

State Table with  excitation  table

Above the table is created as per follow :

When Q₂ =0 which is the present state and Q₂‘=0 which is next state then T₂ become 0 [As per excitation table, have a look ]
Similarly, if Q₂ is 0 and Q₂‘ is 1 then T_{2 becomes} 1.
In a similar way, it goes on .

Step 3: After making the excitation table the next thing  to do is dig out the equation from the boolean algebra or K map for the design of the counter. So, for T₁ and  T₂we got 1, and Q₁‘.Ci + Q₁.Ci’

K-Map