In digital circuit theory, combinational logic (sometimes incorrectly referred to as combinatorial logic) is a type of logic circuit whose output is a pure function of the present input only. This is in contrast to sequential logic, in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has memory while combinational logic does not.

Combinational logic is used in computer circuits to do Boolean algebra on input signals and on stored data. Practical computer circuits normally contain a mixture of combinational and sequential logic. For example, the part of an Arithmetic Logic Unit, or ALU, that does mathematical calculations is constructed using combinational logic.