Отправляет email-рассылки с помощью сервиса Sendsay

RFpro.ru: Консультации по дискретной математике

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Октябрь 2009   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://rusfaq.ru/issues/8/19/525
Открыта: 17-04-2009

Автор
Калашников О.А.

Статистика

106 подписчиков
0 за неделю
←   Все выпуски   →

RFpro.ru: Дискретная математика


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный платный хостинг на базе Windows 2008

РАССЫЛКИ ПОРТАЛА RFPRO.RU

Чемпионы рейтинга экспертов в этой рассылке

Гордиенко Андрей Владимирович
Статус: Профессионал
Рейтинг: 3267
∙ повысить рейтинг » 		_Ayl_
Статус: Студент
Рейтинг: 1386
∙ повысить рейтинг » 		Lang21
Статус: Профессионал
Рейтинг: 260
∙ повысить рейтинг »

/ НАУКА И ОБРАЗОВАНИЕ / Точные и естественные науки / Дискретная математика

Номер выпуска:143
Дата выхода:30.10.2009, 21:30
Администратор рассылки:Alexey G. Gladenyuk, Управляющий
Подписчиков / экспертов:107 / 39
Вопросов / ответов:1 / 1

Вопрос № 173649: Здравствуйте, Эксперты! Прошу помочь разобраться со следующей задачей. ├¬А&¬В→¬(А∨С∨В) 1) проверить выводимость формулы методом Куайна 2) проверить выводимость формулы методом редукции 3) проверить в...

Вопрос № 173649:

Здравствуйте, Эксперты!

Прошу помочь разобраться со следующей задачей.

├¬А&¬В→¬(А∨С∨В)

1) проверить выводимость формулы методом Куайна
2) проверить выводимость формулы методом редукции
3) проверить выводимость формулы методом резолюции

Спасибо!

Отправлен: 25.10.2009, 10:06
Вопрос задал: Нигасов Дмитрий Олегович, Посетитель
Всего ответов: 1
Страница вопроса »

Отвечает Воробьёв Алексей Викторович, Практикант :
Здравствуйте, Нигасов Дмитрий Олегович.

1. Метод Квайна: Мы подставляем занчение 0 или 1 вместо какой-то переменной и рассматриваем получившееся йпрощённое выражение. Рассмотрим, какая формула получится при C=1: ¬А&¬В→¬(А∨1∨В) = ¬А&¬В→0 = ¬(¬А&¬В) = A v B = 0 при А=0,B=0, Т.е. при A=B=0, С=1 формула принимакт значение 0, т.е. не выводима.
2. Метод редукции: Значение формулы 0 получается при ¬А&¬В = 1 и ¬(А∨С∨В) = 0, т.е. при A V B = 0 и A V B V C = 1. Первое верно при A=B=0. Подставляем во второе и получаем 0 V 0 V C = 1 или C = 1. Т.е. при A=B=0, С=1 формула принимакт значение 0, т.е. не выводима.
3. Метод резолюции. Представим в КНФ: ¬А&¬В→¬(А∨С∨В)=¬(¬А&¬В)∨¬(А∨С∨В)=(А∨В)∨¬(А∨В)&¬С=((А∨В)∨¬(А∨В))&((А∨В)∨¬С)=А∨В∨¬С. У нас есть только один дизъюнкт, который равен 0 при A=B=0, С=1, т.е. формула не выводима.

Ответ отправил: Воробьёв Алексей Викторович, Практикант
Ответ отправлен: 26.10.2009, 09:13

Как сказать этому эксперту "спасибо"?
  • Отправить SMS #thank 255853 на номер 1151 (Россия) | Еще номера »
  • Отправить WebMoney:
    • Вам помогли? Пожалуйста, поблагодарите эксперта за это!

    Оценить выпуск »
    Нам очень важно Ваше мнение об этом выпуске рассылки!

    Задать вопрос экспертам этой рассылки »

    Скажите "спасибо" эксперту, который помог Вам!

    Отправьте СМС-сообщение с тестом #thank НОМЕР_ОТВЕТА
    на короткий номер 1151 (Россия)
    Номер ответа и конкретный текст СМС указан внизу каждого ответа.

    Полный список номеров »

    * Стоимость одного СМС-сообщения от 7.15 руб. и зависит от оператора сотовой связи. (полный список тарифов)
    ** При ошибочном вводе номера ответа или текста #thank услуга считается оказанной, денежные средства не возвращаются.
    *** Сумма выплаты эксперту-автору ответа расчитывается из суммы перечислений на портал от биллинговой компании.

    © 2001-2009, Портал RFpro.ru, Россия
    Авторское право: ООО "Мастер-Эксперт Про"
    Автор: Калашников О.А. | Программирование: Гладенюк А.Г.
    Хостинг: Компания "Московский хостер"
    Версия системы: 2009.6.10 от 26.10.2009
    В избранное