Maximal faces of Boolean functions with a small number of zeroes
M. Yu. Romanov · Pattern Recognition and Image Analysis · 2010
It is shown that there are no kernel faces in a contracted disjunctive normal form of a complete Boolean function (in seven or more variables) with a small number of zeroes. In addition, a lower bound for the number of faces that go through the same point is found.