Olegmath2
Полноправный участник
|
     
Цитата: Yulya написал 1 июня 2009 20:16
согласна....у меня проблема со скобкой с <--> ..она как-то никак не преобразуется по норм...
Давайте сначала докажем формулу: a<->b = a'*b' v a*b
= это знак равносильности,
a' - это отрицание a.
* - это конъюнкция,
v - это дизъюнкция.
Найдите в списке основных равносильностей ту, которая выражает эквиваленцию через две импликации и равносильность, выражающую импликацию через дизюнкцию и отрицание!
(Сообщение отредактировал Olegmath2 1 июня 2009 20:33)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:24 | IP
|
|
Yulya
Начинающий
|
 
у меня тока закон введения замены эквив-ти есть....а вообще по идее а <->b должна быть равносильна: (не А конъюнкция не В) дизъюнкция (В конъюнкция А)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:31 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 1 июня 2009 20:31
у меня тока закон введения замены эквив-ти есть....а вообще по идее а <->b должна быть равносильна: (не А конъюнкция не В) дизъюнкция (В конъюнкция А)
Да, всё правильно вы говорите! Я перепутал и уже исправил! Так, теперь примените эту равносильность для преобразования вашей формулы. Затем во второй скобке примените закон де Моргана!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:37 | IP
|
|
Yulya
Начинающий
|
я так и делаю..но я запуталась с этими отрицаниями,где что как меняется.......(
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:45 | IP
|
|
Yulya
Начинающий
|
это должно получиться (не Z конъюнкция х) дизъюнкция (х конъюнкция Z) и всё это в отрицании??
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:47 | IP
|
|
Olegmath2
Полноправный участник
|
Не старайтесь делать всё сразу делайте постепенно! Сначала "разорвите" внешнюю черту, стоящую над всей второй скобкой по закону де Моргана!
(Сообщение отредактировал Olegmath2 1 июня 2009 20:56)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:56 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 1 июня 2009 20:47
это должно получиться (не Z конъюнкция х) дизъюнкция (х конъюнкция Z) и всё это в отрицании??
Здесь есть ошибка! Пользуйтесь равносильностью: a<->b = (a'*b') v (a*b)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:03 | IP
|
|
Yulya
Начинающий
|
(Z конъюнкция Х) д (не Х конъюнкция не Z)?...................
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:05 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 1 июня 2009 21:05
(Z конъюнкция Х) д (не Х конъюнкция не Z)?...................
И снова у вас ошибка!
A=(x v y')->(z<->x')'=(x v y')->((z'*x'') v (z*x'))'= ... Что дальше? Примените закон снятия двойного отрицания! Старайтесь пользоваться моими обозначениями! Мне так будет удобнее! Напишите, что у вас получится дальше!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:12 | IP
|
|
Yulya
Начинающий
|
дурдом... я весь вечер сижу над этим...не получается..не знаю....................значчит,я тупая((((((
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:21 | IP
|
|
Форум
2.8.1 Математическая логика
