Страница 1 из 3

Как найти нормальную конъюнктивную форму

Добавлено: 16 ноя 2014, 12:44
theanton3399
Как найти нормальную конъюнктивную и дизъюнктивную нормальную форму для формулы? подскажите алгоритм действий
Изображение

Как найти нормальную конъюнктивную форму

Добавлено: 16 ноя 2014, 15:54
12d3

Как найти нормальную конъюнктивную форму

Добавлено: 16 ноя 2014, 18:15
Ian
Сначала таблицу истинности составить, 16 строчек в ней будет, кроме заголовков
 

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 14:20
theanton3399
а для чего таблица истинности? чтоб из дизъюнктивной сделать конъюнктивную?

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 14:46
Ian
По таблице истинности автоматически пишется как ДНФ, так и КНФ. Правда, здесь у Вас такая редкая формула, что по определению импликации она сразу превращается в ДНФ. Но все равно надежнее по единой системе
 

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 14:53
theanton3399
нормальная дизъюнктивная не А v(не C v(B v D))?

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 15:47
theanton3399
и как потом из нормальной конъюнктивной и дизъюнктивной нормальной  сделать совершенные формы?

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 17:54
Ian
Согласен
(не А) v(не C) v B v D это просто ДНФ. но так как она является элементарной дизъюнкцией, то она же одновременно и совершенная КНФ.
А из таблицы истинности получилась бы совершенная ДНФ,перечисляющая все элементарные конъюнкции кроме
AC(неВ)(неD), то есть 15 штук остальных 
 

Как найти нормальную конъюнктивную форму

Добавлено: 17 ноя 2014, 21:50
theanton3399
как она может быть конъюнкцией если там знак дизъюнкции?

Как найти нормальную конъюнктивную форму

Добавлено: 18 ноя 2014, 07:20
Ian
Ну вот пример КНФ
$$(A\vee \bar B\vee C\vee\bar D)\wedge(A\vee \bar B\vee \bar C\vee D)$$
А в нашей задаче только одна такая скобка