The following is the truth table of a full adder circuit.
Refer to Figure P5.7 in the textbook.
Boolean expression for the sum and carry are;
The carry output of the full adder is connected as input to the D-Flipflop.
The output of the D-Flipflop is,
Construct a state table for the circuit diagram shown in Figure P5.7.
Here, the next state is exact replica of carry output.
Draw the state diagram of the sequential circuit.
Thus, the required state diagram is designed as shown in Figure 1.