Towards an algebraic theory of Boolean circuits. (Q1410965): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 04:16, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards an algebraic theory of Boolean circuits. |
scientific article |
Statements
Towards an algebraic theory of Boolean circuits. (English)
0 references
15 October 2003
0 references
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\).
0 references
Boolean circuit
0 references
knot theory
0 references
canonical form
0 references
rewriting system
0 references
