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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Подписчиков 106 RSS
←   Май 2012   →
 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

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

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

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

Номер выпуска:276
Дата выхода:14.05.2012, 09:00
Администратор рассылки:Асмик Гаряка (Академик)
Подписчиков / экспертов:36 / 42
Вопросов / ответов:1 / 1

Консультация # 186002: Уважаемые эксперты! Пожалуйста, ответьте на вопрос: помогите пожалуйста с заданием.......заранее спасибо!...

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

Уважаемые эксперты! Пожалуйста, ответьте на вопрос:
помогите пожалуйста с заданием.......заранее спасибо!

Дата отправки: 10.05.2012, 22:16
Вопрос задал: Посетитель - 349343 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »

Консультирует Коцюрбенко Алексей aka Жерар (Советник):

Здравствуйте, Посетитель - 349343!

1. Составим таблицу истинности:


Множество единиц функции можно покрыть областями x00, x11, 11x, что соответствует ДНФ:



Для перехода к СДНФ каждую конъюнкцию, в которой недостаёт переменных x, y или z, домножаем соответственно на , или , после чего раскрываем скобки и сокращаем повторяющиеся слагаемые. В данном случае



Для проверки можно сравнить полученную СДНФ с множеством единичных наборов таблицы истинности: ка ждому набору будет соответствовать одна из конъюнкций, причём переменным с инверсией будет соответствовать нулевое значение в таблице.

Для перехода от ДНФ к КНФ ставим над ДНФ два отрицания и с помощью правил де Моргана (не трогая верхнее отрицание) приводим отрицание ДНФ снова к ДНФ. Затем верхнее отрицание полученной ДНФ по правилу де Моргана сразу дает нам КНФ:




Для перехода от КНФ к СКНФ в каждую дизъюнкцию, в которой недостаёт переменных x, y или z, добавляем соответственно , или , после чего раскрываем скобки с использованием распределительного закона. В данном случае



Для проверки можно сравнить СКНФ с множеством нулевых наборов таблицы истинности: каждому набору будет соответствовать одна из дизъюнкций, причём переменным с инверсией будет соответствовать единичное значение в соответствующей строке таблицы.

2. Для единичного набора E = {1, 4, 5, 7} = {001, 100, 101, 111} соответствующая СДНФ получается непосредственно (каждому двоичному набору соответствует одна конъюнкция, нулевым значениям из набора соответствует знак инверсии над соответствующей переменной):



Сокращение ДНФ (СДНФ) по правилу Блейка производится следующим образом: для всех возможных пар конъюнкций вида к ДНФ добавляем слагаемое K1K2 (если оно не равно тождественно 0), повторяющиеся слагаемые сокращаем, затем применяем обычное поглощение. В данном случае

Консультировал: Коцюрбенко Алексей aka Жерар (Советник)
Дата отправки: 11.05.2012, 04:45

5
нет комментария
-----
Дата оценки: 11.05.2012, 22:13
Рейтинг ответа:

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

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

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

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

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