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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Декабрь 2011   →
 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:
Московский хостер
Профессиональный ХОСТИНГ на базе Linux x64 и Windows x64

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

Лучшие эксперты по данной тематике

Асмик Гаряка
Статус: Академик
Рейтинг: 8831
∙ повысить рейтинг » 		Коцюрбенко Алексей aka Жерар
Статус: Профессор
Рейтинг: 3397
∙ повысить рейтинг » 		CradleA
Статус: Бакалавр
Рейтинг: 2524
∙ повысить рейтинг »

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

Номер выпуска:261
Дата выхода:27.12.2011, 03:00
Администратор рассылки:Асмик Гаряка (Академик)
Подписчиков / экспертов:57 / 68
Вопросов / ответов:2 / 2

Консультация # 184903: Здравствуйте! Прошу помощи в следующем вопросе: Привести следующие формулы логики предикатов сначала к предваренной нормальной форме (ПНФ), затем к сколемовской нормальной форме (СНФ) и стандартной сколемовской форме (ССФ). ∀x(∀y∃z C(x,y,z)→A(x))→∀xA(x)...

Консультация # 184908: Здравствуйте! Прошу помощи в следующем вопросе: Решить задачу с помощью поиска минимальной КНФ. Семья решила купить новый шкаф. Все хотели, чтобы шкаф был либо дубовый, либо березовый; либо желтый, либо коричневый; либо светлый, либо темный. Отцу дали рекомендации: 2.1. Ты можешь купить светлый шкаф, если только он будет березовым желтого ...

Консультация # 184903:

Здравствуйте! Прошу помощи в следующем вопросе: Привести следующие формулы логики предикатов сначала к предваренной нормальной форме (ПНФ), затем к сколемовской нормальной форме (СНФ) и стандартной сколемовской форме (ССФ).

∀x(∀y∃z C(x,y,z)→A(x))→∀xA(x)

Дата отправки: 21.12.2011, 20:36
Вопрос задал: lexmod (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

Консультирует Асмик Гаряка (Академик):

Здравствуйте, lexmod!

Шаг 1.
Исключаем импликацию, используя формулу A→B=¬A ∨B
Шаг 2.
Переносим отрицание к атомарным формулам
Шаг 3
Выносим кванторы вперед

∀x(∀y∃z C(x,y,z)→A(x))→∀xA(x)=¬(∀x(∀y∃zC(x,y,z)→A(x)))∨∀xA(x)=
=∃x(¬(¬∀y∃zC(x,y,z) ∨A(x)))∨∀xA(x)=
∃x(∀y∃z C(x,y,z)∧¬A(x))∨∀xA(x)=
∃x(∀y∃z C(x,y,z)∧¬A(x))∨∀tA(t)=
∃x∀y∃z∀t ( C(x,y,z)∧¬A(x)∨A(t))
Получили ПНФ.
Шаг 2.
Матрицу формулы приводим к КНФ.
F=∃x∀y∃z∀t ( C(x,y,z)∨A(t) ∧¬A(x)∨A(t))
Шаг 3
Исключаем кванторы существования. Заменяем x на α, а z на f(y)
F=∀y∀t ( C(α,y,f(y))∨A(t) ∧¬A(α)∨A(t))

Консультировал: Асмик Гаряка (Академик)
Дата отправки: 24.12.2011, 03:29
Рейтинг ответа:

НЕ одобряю 0 одобряю!

Консультация # 184908:

Здравствуйте! Прошу помощи в следующем вопросе: Решить задачу с помощью поиска минимальной КНФ.
Семья решила купить новый шкаф. Все хотели, чтобы шкаф был либо дубовый, либо березовый; либо желтый, либо коричневый; либо светлый, либо темный. Отцу дали рекомендации:
2.1. Ты можешь купить светлый шкаф, если только он будет березовым желтого цвета.
2.2. Если шкаф будет березовым, то светлый тон должен быть достаточным признаком желтой окраски.
2.3. Если шкаф будет коричневым, то для того, чтобы он был темным, необходимо, чтобы он был сделан из дуба.
Все эти условия можно свести к двум простейшим. Отцом был куплен шкаф, который удовлетворял только одному из этих условий. Он поступил так, потому что хотел, чтобы шкаф был светлым и березовым или темным, но желтым. И это условие действительно оказалось выполненным. Какой шкаф был куплен?

Дата отправки: 21.12.2011, 20:49
Вопрос задал: lexmod (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

Консультирует Асмик Гаряка (Академик):

Здравствуйте, lexmod!

x - дубовый, -x - березовый
y - желтый, -y - коричневый
z - светлый, -z - темный

1) z->-xy
-z ∨ -xy
Шкаф или темный, или березовый желтого цвета
2) -x->(z->y)
x∨-z∨y
шкаф дубовый или желтый или темный
3) -y->(-z->x)
y∨z∨x
Шкаф дубовый или желтый или светлый

2 и 3 условие являются конъюнктами. 1 можно привести к КНФ
-z∨-x ∧-z∨y=-x∨y∨-z ∧-x∨-y∨-z ∧x∨y∨-z
Условие 2 уже содержится в этом КНФ
Соединяя с 3, получим
-x∨y∨-z ∧-x∨-y∨-z ∨x∨y∨-z ∧x∨y∨z=-x∨-z∧x∨y
Простейшие условия - шкаф березовый или темный и дубовый или желтый
Условие папы -xz∨ y-z
И всем условиям удовлетворяют 3 вида шкафов
1 шкаф был дубовый желтый темный.
2 березовый желтый темный
3 березовый желтый светлый





Консультировал: Асмик Гаряка (Академик)
Дата отправки: 24.12.2011, 19:45
Рейтинг ответа:

НЕ одобряю 0 одобряю!

Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка  |  восстановить логин/пароль

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!

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