Lehrstuhl Mathematik & InformatikThe 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.