СКНФ и СДНФ

[Gelirgwenn]

Ребята, подскажите порядок действий, а дальше я сам...
Как найти СДНФ для:
......................__...........__...................__.....__...__...................__............__
y = (x1 + x2 + x3) (x1 + x2 + x3) (x1 + x2 + x3) (x1 + x2 + x3) (x1 + x2 + x3) (x1 + x2 + x3)

Я так понимаю, мне дана СКНФ. Как тут выкрутиться? Я думаю, надо составить таблицу истинности, но как ее составить по СКНФ я так и не нашел...

[Utkin]

Я так понимаю, мне дана СКНФ

Я так понимаю, что это не СКНФ. СКНФ -
http://ru.wikipedia.org/wiki/%D0%A1%D0%9A%D0%9D%D0%A4
то есть СКНФ наверно уже раскрытая, без скобок
СДНФ, аналогично - в ВИКИ есть

[p51x]

Я так понимаю, мне дана СКНФ.

Зависит от отрицаний, которые съехали. А так похоже...

то есть СКНФ наверно уже раскрытая, без скобок

Нет. СКНФ - это КНФ без повторяющихся дизъюнкций. (a + b)(-a + b) вполне себе КНФ

Как тут выкрутиться?

Ну варианта два, как минимум:
1. Раскрываем скобки, выполняем операции для перевода ДНФ - СДНФ.
2.

надо составить таблицу истинности,

но как ее составить по СКНФ я так и не нашел...

Эээ?.. А проблема в чем? Есть функция у = 2 + 2 и ее скобочная форма у = (2 + 2)... чем отличаются их значения?

[Gelirgwenn]

Всем спасибо, что натолкнули на путь истинный

Во всем разобрался, теперь напишу ответ таким же студентам, как я:
Во-первых, в условии представлена именно СКНФ, так как

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

Во-вторых, для перехода к СДНФ необходимо построить отрицание данной функции путем выписывания всех конституент нуля, не входящих в функцию:
.......___________....___________
.......__.....__...........__.....__...__.............__
y = (x1 + x2 + x3) (x1 + x2 + x3) = x1x2x3 + x1x2x3

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

Тема закрыта.