Since this is a problem with two inputs, there are four input combinations and thus four columns in the next state section. (If this were a Mealy system, there would also be four output columns.) This can easily be converted into a 16-row truth table or directly to maps. The latter is easiest if we are to implement this with either D or JK flip flops. In going to the maps, care must be taken since both the rows and columns are in binary order, not map order. The maps for DA (A) and DB (B) are shown below.