The Structure of the Monoid (N,X) of Logic Circuits

Abstract. Logic circuits are described by the X-category F(A,P). As known, the morphism set N of nets together with the operation X forms a monoid. In the present paper the structure of this monoid is determined by means of generators and relations. Especially (N,X) is cancellative, i.e. the cancellation law for the operation X holds.