Условие:
Дан граф G(X,U), где множество вершин X={x
1
,x
2
,x
3
,x
4
}, а множество рёбер U={(x
1
x
2
),(x
3
x
4
),(x
3
x
2
),(x
1
x
3
)}. Требуется найти минимальное выражение Π в виде дизъюнкции конъюнкций логических переменных x
1
,x
2
,x
3
,x
4
, которое описывает все максимальные пустые (независимые) подграфы графа G.

