|
|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail | |||||||
| Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
||||
 |
|
|
Опции темы | Поиск в этой теме |
06.12.2014, 12:41
|
#1 |
|
Форумчанин
Регистрация: 11.10.2012
Сообщений: 409
|
Привести формулу к ДНФ
Помогите привести формулу к ДНФ с помощью законов булевой алгебры и выражений одних элементарных функций через другие
|
|
|
|
06.12.2014, 22:07
|
#2 |
|
Форумчанин
Регистрация: 11.10.2012
Сообщений: 409
|
Тут не один я не дружу с математикой?)
|
|
|
|
|
06.12.2014, 22:43
|
#3 | |
|
Белик Виталий :)
Старожил
Регистрация: 23.07.2007
Сообщений: 57,097
|
Цитата:
I'm learning to live...
|
|
|
|
|
|
06.12.2014, 23:36
|
#4 |
|
Старожил
Регистрация: 12.11.2010
Сообщений: 8,568
|
Алгоритм получения такой:
1. Составить таблицу истинности. 2. Теперь необходимо рассматривать только те наборы переменных, где ф-ция принимает значение "истина". 3. Искомое выражение будет представлять собой дизъюнкцию конъюнкций (x ^ y ^ z). Конъюнкций будет столько, сколько раз функция принимает значение истина, причём каждая конъюнкция соответствует набору, для которого ф-ция истинна. 4. Над переменными в i-й конъюнкции поставить знаки отрицания в том случае, если в i-м наборе в таблице истинности значения этих переменных равны нулю. ___ Похоже, зря писал. Невнимательно прочитал задание. Да и так, скорей всего, получим СДНФ. |
|
|
|
|
07.12.2014, 19:08
|
#5 |
|
Пользователь
Регистрация: 01.11.2014
Сообщений: 12
|
|
|
|
|
|
Похожие темы
|
||||
| Тема | Автор | Раздел | Ответов | Последнее сообщение |
| Привести формулу к КНФ / Доказать равносильность формул SOS | bolvanka | Помощь студентам | 4 | 15.01.2014 22:42 |
| Заданную логическую формулу преобразовать в эквивалентную днф | sergei15 | Паскаль, Turbo Pascal, PascalABC.NET | 2 | 29.05.2012 06:21 |
| Является ли ДНФ совершенной | ExploiT243 | Помощь студентам | 0 | 11.05.2012 16:24 |
| Привести любую формулу на языке предикатов 1го порядка к СКНФ (C# / Prolog). | emppu2007 | Фриланс | 0 | 11.06.2011 13:54 |
| Программа минимизации ДНФ | arris90 | Помощь студентам | 3 | 08.04.2011 20:47 |
