Logika konputazionala informatikara aplikatutako logika matematikoa da. Oro Har, funtsezkoa da honen erabilera zenbait mailatan: zirkuitu konputazionaletan, programazio logikoan eta Algoritmoen analisian eta algoritmoen optimizazioan (aldi baterako baliabideetan eta baliabide espazialetan).

Ordenagailu bateko abstrakzio maila txikiena seinale elektriko ezberdinei erantzuten dieten zirkuitu elektronikoz osatuta dago, logika boolearraren ereduak jarraitzen ditu, hau da, ematen zaion sarrera seinalearen arabera balio bat itzultzen duten ate logikoak. Oso sistema konplexuak osatu daitezke oinarrizko zortzi ate logikoekin : AND, OR, Inverter, bufferra, NAND, NOR, XOR eta XNOR. Hauek denak ikur batez eta balio taula batez adierazten dira. besterik gabe den kokatzen diren leku sarrera posible guztiak eta balio eman esanak konporta itzuliko lukeen balioak lauki bat.

Sistema konputazional guztia, oso konplexua izan arren, hizkuntza bitarra soilik ulertzen duten zirkuitu elektronikoz osatuta dago. Logika konputazionala abstrakzio maila baxuetako sistemak modelatzeaz eta optimizatzeaz arduratzen da.