Towards an algebraic theory of Boolean circuits. (Q1410965)

Logical gates are considered as generators for an algebraic structure of circuits with sequential and parallel compositions of gates. Circuits made up of logical gates are considered as diagrams and are analyzed by using knot theory. To analyze diagrams, a canonical form and rewriting systems are introduced. A typical theorem in this work has the form: The generators \(a\), \(b\), \(c\) and the relations \(d\), \(f\), \(g\) form a presentation of the monoidal subcategory \(H\).