Версия для печати темы

Автор: Tan 11.04.2007 20:05

На картинке пример и тот этап его решения, до которого я дошёл, возможно уже успел где - то ошибиться. Задание : упростить, приведя в нормальную форму, раздел : дискретная математика.


Эскизы прикрепленных изображений

Автор: мисс_граффити 11.04.2007 20:18

конъюнктивная или дизъюнктивная нормальная форма должна получиться?
дальше тебе надо избавиться от "больших" отрицаний (по закону де Моргана) и раскрыть скобки...
В этом пункте какие-то сложности?

Автор: Tan 11.04.2007 20:54

Да. Препод ничего не говорил про закон Моргана, приходится всё самому, от лекций толку 0. Если нетрудно объясни его (закон) пожалуйста.

Автор: мисс_граффити 11.04.2007 21:06

отрицание конъюнкции = дизъюнкции отрицаний
отрицание дизъюнкции = конъюнкции отрицаний

то есть
не(а или б) = не(а) и не(б)
не(а и б) = не(а) или не(б)

Автор: Tan 11.04.2007 21:35

То есть во второй части (справа от главной дисъюнкции) я получаю большое умножение с противоположным состоянием переменных ( то есть была негация - её не станет и наобарот). А что потом делать ?

Автор: мисс_граффити 11.04.2007 22:18

не могу проверить, как ты начал решать, т.к. обозначение | мне не знакомо.
поэтому продолжаю с того места, где ты остановился, в предположении, что все ок.

Автор: Tan 11.04.2007 22:21

это палочка Шефера =) С неё я преобразовал точно правильно, огромное спасибо!!

Автор: мисс_граффити 11.04.2007 22:23

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

Автор: Tan 11.04.2007 22:30

Я сделал полную ДНФ и полную КНФ, а стопорнулся просто на обычной нормальной, так как без неё я не смог бы найти дуальную, блин какие термины

Автор: КМА 13.04.2007 2:38

Tan я в одной из тем писал универсальный алгоритм для нахождения СКНФ. СДНФ фактически мало чем отличается. Вот где это было http://forum.pascal.net.ru/index.php?showtopic=16474

Автор: Fanat 13.04.2007 12:39

Для перевода Днф в Сднф можно использавать метод Блэка-Парецкого:
Если в формуле есть термы вида BxiVA~xi,то к формуле можно дописать VAB.
(xi-икс итое,~-не)

Сам алгоритм такой:сначала все такие пары выписать для которых выполняеться условие теормеры,приписать соответствующие AB;дальше использовать сокращение и закон поглощения...в результате получиться Сднф...

Автор: Tan 13.04.2007 21:54

огромное спасибо всем !!!