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

[iren-samara86]

Помогите, пожалуйста...
$(x\vee y\vee\neg z)\wedge(\neg x\vee y\vee\neg z)\wedge(x\vee\neg y\vee z)\wedge(x\vee y\vee z)\wedge(\neg x\vee\neg y\vee z)\wedge(\neg x\vee\neg y\vee\neg z)$
Задана совершенная конъюнктивная нормальная форма функции алгебры логики.
Найти все ее тупиковые конъюнктивные нормальные формы и выбрать из них минимальную.

[Brukvalub]

А как ищутся тупиковые КНФ?

[iren-samara86]

Brukvalub в сообщении #1180681 писал(а):

А как ищутся тупиковые КНФ?

Я так поняла, что способов несколько: метод Квайна, построение карт Карно и преобразования Петрика.

[Brukvalub]

Ну, раз знаете как, то начинайте действовать и пишите сюда результаты!

[iren-samara86]

Brukvalub в сообщении #1180691 писал(а):

Ну, раз знаете как, то начинайте действовать и пишите сюда результаты!

Попробовала по картам Карно... в итоге получилась одна тупиковая КНФ: $(x\vee y)(\bar{y}\vee z)(\bar{x}\vee \bar{z})$ Как думаете, правильно?

[Brukvalub]

Не знаю, ваших вычислений не видно, а самому считать лень.

[vpb]

и преобразования Петрика.

Ой, я извиняюсь, неужели того самого?

[vpb]

Гм..., глупость написал. Погуглил --- довольно распространенная фамилия.