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.