On systems of Boolean equations

摘要

Systems of Boolean equations are considered. The order of maximal consistent subsystems is estimated in the general and "typical" (in a probability sense) cases. Applications for several well-known discrete problems are given.