Olegmath2
Полноправный участник
|
     
Просто удалите из КНФ_A те скобки, в которых есть переменная и её отрицание!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:03 | IP
|
|
Yulya
Начинающий
|
 
ну а я что и делала)..аааа...опять неверно(((
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:06 | IP
|
|
Yulya
Начинающий
|
если удалить такие скобки то: (x' v z v x') * (x' v x' v z) * (y v z v x') * (y v x v z') ....
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:11 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 5 июня 2009 23:06
ну а я что и делала)..аааа...опять неверно(((
Вот ваша КНФ_А
(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').
Удалите из неё скобки, содержащие одновременно переменную и её отрицание одновременно! Например, в первой скобке (x' v z v z') есть z и z', значит её можно удалить! Теперь просмотрите все последующие скобки и удалите некоторые из них про приведенному принципу!
(Сообщение отредактировал Olegmath2 5 июня 2009 23:17)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:13 | IP
|
|
Yulya
Начинающий
|
ну а я что щас делала : (x' v z v x')*(y v z v x')*(y v x v z')
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:17 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 5 июня 2009 23:17
ну а я что щас делала : (x' v z v x')*(y v z v x')*(y v x v z')
Вот теперь правильно! Дальше, если в какой-то скобке встречается переменная дваджы, то оставляем только одну из них! Например: (a v b v b) = (a v b);
(n' v k v n') = (n' v k)
(Сообщение отредактировал Olegmath2 5 июня 2009 23:24)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:23 | IP
|
|
Yulya
Начинающий
|
(x' v z)*(y v z v x')*(y v x v z')
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:26 | IP
|
|
Yulya
Начинающий
|
что дальше?)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:35 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 5 июня 2009 23:26
(x' v z)*(y v z v x')*(y v x v z')
Верно! Теперь нужно сделать так, чтобы в каждой скобке присутствовали все переменные, которые содержит формула A. (x, y и z).
Пример: Не хватает переменной c!
(a' v b') = (a' v b' v 0) = (a' v b' v (c *c'))=(a' v b' v c)*(a' v b' v c')
(Сообщение отредактировал Olegmath2 5 июня 2009 23:36)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 23:35 | IP
|
|
Yulya
Начинающий
|
так: (x' v y v z) * (x' v y' v z) *(y v z v x') * (y v x v z') ?
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 23:40 | IP
|
|
Форум
2.8.1 Математическая логика
