Abstract:
We consider two different types of systems of Boolean equations—those given in disjunctive normal form and those in the form of a sum $\operatorname{mod}2$ of elementary conjunctions. We obtain exact formulas for the average number of solutions and the asymptotics of the typical number of solutions. For this purpose we identify the explicit distinction among the various types of systems in the sense of the effect of the parameters of the system on the number of solutions.