Properties of generator systems of universal algebras generated by Boolean bijunctive functions

Two approaches to the description of generator systems of universal algebras generated by Boolean bijunctive functions are considered. Basic sets of these algebras are sets of satisfying vectors of Boolean functions having $2$-CNF form; a ternary operation of these algebras is defined by coordinate-wise application of the voting function to triples of Boolean $n$-dimensional vectors. The first approach is based on the graphs of corresponding $2$-CNF, the second is based on the set cover problem.