Abstract
The purpose of this paper is to propose an algebraic model of logical circuits which has been designed to build up efficient analysis and simulation procedures.