Two types of logic circuits exist in digital circuit theory: combinational logic and sequential logic. In the case of combinational logic circuits, the output is a function only of the present input.