RUS  ENG
Full version
JOURNALS // Matematicheskie Voprosy Kriptografii [Mathematical Aspects of Cryptography] // Archive

Mat. Vopr. Kriptogr., 2011 Volume 2, Issue 3, Pages 75–98 (Mi mvk37)

This article is cited 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.

UDC: 519.571

Received 10.V.2011

DOI: 10.4213/mvk37



© Steklov Math. Inst. of RAS, 2025