 |
|
|
 
|
|
Приведение к КНФ, булевая алгебра 
| Smskaaa |
|
|||
|
Новичок Профиль Группа: Участник Сообщений: 2 Регистрация: 7.10.2009 Репутация: нет Всего: нет |
с помощью каких команд в Maple проверку уравнения делать?(знаю,что тема не по разделу,но здесь наиболее часто ответа дождёшься)
|
|||
|
||||
Загрузка ...
| maxim1000 |
|
|||
 Эксперт  Профиль Группа: Участник Сообщений: 3334 Регистрация: 11.1.2003 Где: Киев Репутация: 33 Всего: 110 |
Модератор:
всё-таки лучше создать отдельную тему... -------------------- qqq |
|||
|
||||
| Nikituki |
|
|||
|
Новичок Профиль Группа: Участник Сообщений: 8 Регистрация: 15.10.2009 Репутация: нет Всего: нет |
Если не ошибаюсь, то СДНФ и СКНФ - это двойственные функции, то есть если СДНФ - это f(x1,...,xn), то СКНФ - это |f(|x1,...,|xn), где | - отрицание. Это сообщение отредактировал(а) Nikituki - 15.10.2009, 21:47 |
|||
|
||||
| akma |
|
|||
|
Новичок Профиль Группа: Участник Сообщений: 8 Регистрация: 30.5.2010 Репутация: нет Всего: нет |
(a->)&(c->d)&b
может кто-то подскажет как кнф и днф сделать? |
|||
|
||||
Дата 17.10.2010, 15:39 (
|
|
| Правила форума "Алгоритмы" | |
|
|
Форум "Алгоритмы" предназначен для обсуждения вопросов, связанных только с алгоритмами и структурами данных, без привязки к конкретному языку программирования и/или программному продукту.
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, maxim1000. |
| 1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Алгоритмы | Следующая тема » |
[ Время генерации скрипта: 0.0640 ] [ Использовано запросов: 20 ] [ GZIP включён ]
Реклама на сайте Информационное спонсорство
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |