2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/32002The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting point in the semi-formalized reconstruction of the digital electrical engineering (which is a non-formalized theory).Logic in Computer ScienceI.6.0text