Algebra de los circuitos lógicos - Heim, Klaus (Dossat, 1973)