|
This article is cited in 1 scientific paper (total in 1 paper)
Universal algebras generated by sets of satisfying vectors of bijunctive and $r$-junctive Boolean functions
A. V. Tarasov Moscow State Technical University of Radio Engineering, Electronics and Automatics, Moscow
Abstract:
The notion of universal algebra $\Omega_n^r=(V_n,v_r)$ (where $V_n$ is the set of binary $n$-dimensional vectors and $v_r\colon V_n^{r+1}\to V_n$ is the coordinate-wise operation) is introduced. Subalgebras of this algebra are formed by sets of satisfying vectors for $r$-junctive functions, i.e. functions which may be represented as $r$-CNF. The endomorphisms of these subalgebras of algebra $\Omega_n^r$ and their endomorphic images are described. In the case of $r=2$ several properties of generating systems of the algebra and of some subalgebras are investigated.
Key words:
bijunctive functions, $r$-junctive functions, $r$-CNF, universal algebra.
Received 10.V.2011
Citation:
A. V. Tarasov, “Universal algebras generated by sets of satisfying vectors of bijunctive and $r$-junctive Boolean functions”, Mat. Vopr. Kriptogr., 2:3 (2011), 75–98
Linking options:
https://www.mathnet.ru/eng/mvk37https://doi.org/10.4213/mvk37 https://www.mathnet.ru/eng/mvk/v2/i3/p75
|
Statistics & downloads: |
Abstract page: | 495 | Full-text PDF : | 220 | References: | 58 | First page: | 1 |
|