|
С помощью таблицы истинности найти СДНФ и СКНФ булевой функции. $$f(x_1,x_2)=(x_1 \rightarrow x_2) \rightarrow (x_2 \rightarrow x_1)$$ задан 1 Ноя '14 17:05 
Андрей1008744 |
|
отвечен 2 Ноя '14 0:02 
Катринка @Катринка: в тексте по Вашей ссылке пропали "чёрточки" над некоторыми буквами, означающие отрицание. Надо иметь в виду, что их наличие существенно.
(2 Ноя '14 0:13)
falcao
По поводу СКНФ. Если в таблице истинности присутствует лишь одна строка со значением 0, то мы записываем дизъюнкцию всех переменных и все. Так и останется в ответе знак дизъюнкции? Ведь нам нечего соединять в конъюнкцию. Правильно?
(3 Ноя '14 0:53)
Андрей1008744
@Андрей1008744: всё так и есть. Когда конъюнкция состоит из одного члена, как в этом примере, то символом конъюнкции соединять нечего, и СКНФ имеет вид (элементарной) дизъюнкции, но при этом считается совершенной конъюнктивной нормальной формой.
(3 Ноя '14 1:01)
falcao
Спасибо за пояснения.
(3 Ноя '14 1:02)
Андрей1008744
|
Это стандартная задача. Процедура подробно описывается в учебной литературе. Если взять и сделать по аналогии, то всё должно получиться. Например, здесь можно разобрать пример с СДНФ, а внутри текста есть ссылка и на СКНФ.