Тупиковые КНФ

[iren-samara86]

Задана СКНФ функции: (x+y+!z)(!x+y+!z)(x+!y+z)(x+y+z)(!x+!y+z)(!x+!y+!z)
Найти все ее тупиковые КНФ и выбрать из них минимальную.