Метод Куайна

Метод Куайна

Метод Куайна—Мак-Класки — табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный Эдвардом Мак-Класки. Представляет собой попытку избавиться от недостатков метода Куайна.

Сложность

Несмотря на некоторые преимущества перед картами Карно, метод Куайна — Мак-Класки тоже ограничен: время работы метода растёт экспоненциально с увеличением входных данных. Поэтому для функций с большим количеством переменных используют эвристические алгоритмы, например, эспрессо.


Литература

  • Савельев А.Я. Основы информатики. — Москва: Издательство МГТУ им. Н.Э. Баумана, 2001. — С. 232—239. — 328 с. — (Информатика в техническом университете). — ISBN 5703815150


Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
  • Исправить статью согласно стилистическим правилам Википедии.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "Метод Куайна" в других словарях:

  • Метод Куайна — Мак-Класки — Метод Куайна  Мак Класки  табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный Эдвардом Мак Класки. Представляет собой попытку избавиться от недостатков метода Куайна. Сложность Несмотря на… …   Википедия

  • Метод Куайна - Мак-Класки — Метод Куайна  Мак Класки  табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный Эдвардом Мак Класки. Представляет собой попытку избавиться от недостатков метода Куайна. Сложность Несмотря на некоторые… …   Википедия

  • Метод Квайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… …   Википедия

  • Минимизация логических функций методом Куайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… …   Википедия

  • гипотетико-дедуктивный метод —         ГИПОТЕТИКО ДЕДУКТИВНЫЙ МЕТОД (от греч. hypothesis основание, предположение и лат. deductio выведение) метод научного исследования, который сводится к дедуктивному выводу следствий из гипотезы (или системы гипотез) и их эмпирической… …   Энциклопедия эпистемологии и философии науки

  • Минимизация логических функций методом Квайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… …   Википедия

  • Карта Карно — Рис. 1 Пример Куба Карно Куб Карно графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок. Представляет собой операции попарного… …   Википедия

  • Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний)  раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… …   Википедия

  • Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …   Википедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»