Question

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

Q1Q_1 Q0Q_0 Q1+Q_1^+ Q0+Q_0^+
0 0 0 1
0 1 1 0
1 0 1 1
1 1 1 1

The counter is built as a synchronous sequential circuit using T flip-flops. The expressions for T1T_1 and T0T_0 are

Choose one option
Official answer and solution
Official answer
B
From
Official GATE 2017 answer key

Solution

Construct the excitation table for the T flip-flops from the given next-state table using T=Q⊕Q+T = Q \oplus Q^+, then derive the Boolean expressions for T1T_1 and T0T_0.

For a T flip-flop, the excitation equation is T=Q⊕Q+T = Q \oplus Q^+.
Compute T1T_1 and T0T_0 for each row of the next state table:

Q1Q_1 Q0Q_0 Q1+Q_1^+ Q0+Q_0^+ T1=Q1⊕Q1+T_1 = Q_1 \oplus Q_1^+ T0=Q0⊕Q0+T_0 = Q_0 \oplus Q_0^+
0 0 0 1 0⊕0=00 \oplus 0 = 0 0⊕1=10 \oplus 1 = 1
0 1 1 0 0⊕1=10 \oplus 1 = 1 1⊕0=11 \oplus 0 = 1
1 0 1 1 1⊕1=01 \oplus 1 = 0 0⊕1=10 \oplus 1 = 1
1 1 1 1 1⊕1=01 \oplus 1 = 0 1⊕1=01 \oplus 1 = 0

Find minimal sum-of-products expressions:

  • For T1T_1: T1=1T_1 = 1 only when Q1=0Q_1 = 0 and Q0=1Q_0 = 1. Thus:
T1=Qˉ1Q0T_1 = \bar{Q}_1 Q_0
  • For T0T_0: T0=1T_0 = 1 for minterms 0, 1, 2 (all except Q1=1,Q0=1Q_1 = 1, Q_0 = 1). By De Morgan's Law:
T0=Q1Q0‾=Qˉ1+Qˉ0T_0 = \overline{Q_1 Q_0} = \bar{Q}_1 + \bar{Q}_0

The resulting expressions are T1=Qˉ1Q0T_1 = \bar{Q}_1 Q_0 and T0=Qˉ1+Qˉ0T_0 = \bar{Q}_1 + \bar{Q}_0, which corresponds to option B.

Final answer

B

Common trap

Using D flip-flop excitation (D=Q+D = Q^+) instead of T flip-flop excitation (T=Q⊕Q+T = Q \oplus Q^+).

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2017 Computer Science and Information Technology (CS) Session 2
Question
42 of 65, printed as CS Q.42
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.