A combinational circuit is a type of digital circuit where the output is a pure function of the current input values, without any memory of past inputs. These circuits are fundamental in digital systems for performing operations like arithmetic and logic calculations, data routing, and code conversion.