Deakstadieđáhus: Algebra de los circuitos lógicos