Yulya
Начинающий
|
       
да.разные ..во второй скобке есть отрицания,а в третьей их нет.....
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 21:28 | IP
|
|
Yulya
Начинающий
|
о.нашла одну..что-то совсем торможу)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 21:29 | IP
|
|
Yulya
Начинающий
|
(x'*y*z) v (х*y*z) v (x*y'*z) v (x'*y*z') v (x'*y'*z') так выходит..
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 21:30 | IP
|
|
Olegmath2
Полноправный участник
|
Даааа! Теперь всё правильно! Вы получили СДНФ_A.
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 21:36 | IP
|
|
Yulya
Начинающий
|
ура -ура))теперь просветите меня...как из всего этого сделать КНФ)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 21:38 | IP
|
|
Olegmath2
Полноправный участник
|
Хорошо! Слушайте меня внимательно и следуйте рекомендациям! Сейчас мы из вашей ДНФ_A сделаем КНФ_А. Есть такое правило раскрытия скобок:
(a*b) v (c*d)=(a v c)*(a v d)*(b v c)*(b v d).
Запишите свою ДНФ_A и раскройте первые две скобки, напишите, что у вас получится!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 21:51 | IP
|
|
Yulya
Начинающий
|
исходная ДНФ: (x'*y) v (z*x) v (Z'*x') вот раскрыла первые 2 скобки : (x' v z) * (x' v x) * (y v z) ..так ?
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 21:59 | IP
|
|
Yulya
Начинающий
|
ой ..еще забыла : * (y v x)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:01 | IP
|
|
Yulya
Начинающий
|
те вот так первые 2 скобки : (x' v z) * (x' v x) * (y v z) * (y v x)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 5 июня 2009 22:02 | IP
|
|
Olegmath2
Полноправный участник
|
Да, но только вы не дописали! Там должно получится четыре логических множителя, а у вас всего три!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 5 июня 2009 22:02 | IP
|
|
Форум
2.8.1 Математическая логика
