Abstract:
The class of bijunctive Boolean functions consists of the functions representable by the
2-CNF\@. The problem of enumeration of such function of arbitrary number of variables
has not been solved. In the paper, we consider properties of inertia groups of
bijunctive functions in several groups and give an inductive method of generating
all distinct representatives of the classes of geometric equivalence of bijunctive
functions. By this method we calculate the numbers of bijunctive functions of 5, 6,
and 7 variables.