Minimal contact circuits for a sequence of Boolean functions
In this paper the author develops a sequence of Boolean functions \[ \begin{array}{l} p_1(\tilde x,\tilde y)-p_1(x_1,y_1)=x_1y_1 \\ p_{n}(\tilde x,\tilde y)-p_n(x_1,\ldots ,x_n,y_1\ldots ,y_n)=x_1y_1\lor (x_1\lor y_1)p_{n-1}(x_2,\ldots ,x_n,y_2,\ldots,y_n)\\ n=2,3,\ldots \end{array} \] It is easy to see that the function \(p_n(x,y)\) specifies the transfer to the highest \((n + 1)\)-digit of the sum that occurs when two \(n\)-digit binary numbers \(x\) and \(y\) are added arithmetically (it is assumed that \(x_1,y_1\) are the highest digits). The following theorem is proved: Theorem. To implement the transfer function \(p_n(x,y)\) by a contact circuit, it is necessary and sufficient to have \(4n-2\) contacts. The resulting estimate is a contribution to mathematical theory of Control Systems.
- scientific article; zbMATH DE number 1285548
- The minimal circuits for linear Boolean functions
- On implementation of Boolean functions by contact circuits of minimal uniform width
- scientific article; zbMATH DE number 850315
- On implementation of Boolean functions by contact circuits with a constant uniform width
- On the minimal memory volume that is necessary for realization of boolean function by conveyor boolean circuits
- The minimal circuits for linear Boolean functions
- scientific article; zbMATH DE number 942481 (Why is no real title available?)
- scientific article; zbMATH DE number 6460060 (Why is no real title available?)
- On the synthesis of oriented contact circuits with certain restrictions on adjacent contacts
This page was built for publication: Minimal contact circuits for a sequence of Boolean functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049296)
