Для  нахождения  множества  внутренней устойчивости (то
есть расстановки максимального количества ферзей),  то  есть
максимального  множества  несмежных вершин (не имеющих между
собой стрелок), запишем "УСЛОВИЕ  НЕСОВМЕСТИМОСТИ".  Выпишем
парные  дизъюнкции  соответствующие единицам матрицы. Каждая
единица говорит о наличии стрелки из одной вершины в другую,
а   значит,  либо  вершина  А,  либо  вершина  В,  либо  обе
одновременно не могут входить в множество  несмежных  вершин
(логическое   "ИЛИ").   Далее  свяжем  конъюнкцией  все  эти
дизъюнкции, поскольку  все  условия  несовместимости  должны
выполняться одновременно (логическое "И").

     Приведем   полученное  выражение  к  ДНФ  перемножением
парных дизъюнкций  (дистрибутивный  закон)  и  выполнив  все
поглощения.  В  результате  получим  минимальные конъюнкции,
соответствующие несовместимым множествам вершин. Выписав для
каждой   конъюнкции   вершины  из  полного  списка,  получим
максимальные множества несмежных между собой вершин.