Un circuito combinatorio es un arreglo de compuertas lógicas con entradas y salidas. Transforma la información binaria de entrada en datos de salida según una tabla de verdad o funciones booleanas. Puede describirse mediante las propiedades de la álgebra booleana como las leyes asociativas, conmutativas, distributivas, elementos neutros y ley de complementos y De Morgan.