Combinational circuits are logic gates whose outputs are determined by the present combination of inputs. They are also known as decision-making circuits that receive binary inputs from an external source and produce outputs to an external destination, with one unique output combination for each of the 2^n possible input combinations.