Yulya
Начинающий
|
       
что дальше?)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:03 | IP
|
|
Olegmath2
Полноправный участник
|
Да, всё верно! Теперь у вас получается так:
A=((x' v z) * (x' v x) * (y v z) * (y v x)) V (z' * x').
Теперь ещё раз раскройте скобки, стоящие до и после дизъюнкции (это дизъюнкция выделена большим знаком)! Запишите, что у вас получится!
(Сообщение отредактировал Olegmath2 5 июня 2009 22:15)
(Сообщение отредактировал Olegmath2 5 июня 2009 22:35)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 22:07 | IP
|
|
Yulya
Начинающий
|
ой.как все сложно))))
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:20 | IP
|
|
Yulya
Начинающий
|
я туплю.....как мне их раскрыть.....по какому закону..дистрибутивному что ли...или поглощение...аааааааааа
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:24 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 5 июня 2009 22:20
ой.как все сложно))))
А вот и не сложно! Могу показать пример! Смотрите!
((a' v b')*(a v c)*(b v c')) V (c * a)=
=(a' v b' v c)*(a' v b' v a)*(a v c v c)*(a v c v a )*(b v c' v c)*(b v c' v a).
(Сообщение отредактировал Olegmath2 5 июня 2009 22:36)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 22:26 | IP
|
|
Yulya
Начинающий
|
вот так вышло : (x' v z v z') * (x' v z v x') * (x' v x v z') * (x' v x v x') * (y v z v z') * (y v z v x') * (y v x v z') * (y v x v x') правильно?
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:33 | IP
|
|
Olegmath2
Полноправный участник
|
Ага! Всё правильно! То, что вы сейчас записали, это и есть КНФ_А.
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 22:38 | IP
|
|
Yulya
Начинающий
|
ого какая она большая)ну и что дальше с ней делать..надо ж еще скнф....ужассс...__))
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:39 | IP
|
|
Olegmath2
Полноправный участник
|
Теперь немного упростим полученную КНФ_А.
Если какой-то логический множитель содержит переменную и её отрицание, то его можно удалить из КНФ_А. Пример:
(a v b v a')*(a v b v c') = (b v a v a')*(a v b v c') =
=(b v 1)*(a v b v c') = 1*(a v b v c') =(a v b v c').
(Сообщение отредактировал Olegmath2 5 июня 2009 22:54)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 22:46 | IP
|
|
Yulya
Начинающий
|
что-то типа такого : x'*x*z'*x'*y* (x' v y v z) * ( x v y z') ??
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:54 | IP
|
|
Форум
2.8.1 Математическая логика
