Existe una gran relación entre la lógica proposicional y los circuitos electricos, gracias a esta relación es posible encontrar solución a cualquier problema basado en el funionamiento y construccion de computadoras electronicas. Para desarrollar y comprender la relación es necesario tener en cuanta tres estructuras lógicas; la conjunción, la disyunción y la negación.
Encontramos dos clases de circuitos el circuito en serie, el circuito en paralelo.
Existen diversidad de formas para expresar un circuito y una de ellas es empleando formulas ya estudiadas.
Las formulas lógicas empleadas en la contruccion de circuitos son: