SMS dit: Algebra de los circuitos lógicos