рефераты конспекты курсовые дипломные лекции шпоры

Раздел Образование
/
Метод Квайна-Мак-Класки

Реферат Курсовая Конспект

Выберите учебное заведение

Метод Квайна-Мак-Класки

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

Метод формализован на этапе нахождения простых импликант. Формализация проводится таким образом:

1) Все конституэнты "1" из СДНФ булевой функции записываются их двоичными номерами.

2) Все номера разбиваются на непересекающиеся группы, в i-ой группе находятся конституэнты "1", содержащие i единиц в номере.

3) Склеиваются только номера соседних групп, склеивание номера как-либо отмечают.

4) Производят все возможные склеивания. Неотмеченные после склеивания номера являются простыми импликантами.

Пример:

1) В СДНФ заменим все конституэнты "1" их двоичными номерами:

2) Образуем группы двоичных номеров и произведем склеивание:

номер группы	двоичные номера конституэнт "1"		номер группы	двоичные номера конституэнт "1"		номер группы	двоичные номера конституэнт "1"
	- 0011, 0101 0111, 1110			001, 001 011, 011 111, 111			0**1

Простые импликанты: *111, 111*, 0**1

МДНФ:

Разбиение конституэнт на группы позволяет уменьшить число парных сравнений при склеивании.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Понятие равносильности формул

Если функция f задана формулой построенной с помощью amp и переменных то по теореме о суперпозиции двойственных функций и ввиду того... Дизъюнктивная нормальная форма и совершенная дизъюнктивная...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Метод Квайна-Мак-Класки

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Понятие равносильности формул
Определение 4.1. Формулы и

Булева алгебра
Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями

Функции алгебры логики
Значение формулы алгебры логики полностью зависит от значений входящих в нее высказываний. Поэтому такая формула может считаться функцией входящих в нее элементарных высказываний. Н

Представление произвольной логической функции в виде формулы алгебры логики
Пусть с помощью таблицы истинности задана произвольная функция алгебры логики n переменных F(x1, x2, …, xn). Расс

Дизъюнктивная нормальная форма и совершенная дизъюнктивная нормальная форма
Элементарной конъюнкцией n переменных называется конъюнкция переменных или их отрицаний. Дизъюнктивной нормальной формой (ДНФ) формулы А называется рав

Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма
Элементарной дизъюнкцией п переменных называется дизъюнкция переменных или их отрицаний. Конъюнктивной нормальной формой (КНФ) формулы А называется р

Сокращенная ДНФ
Определение: Сокращенная ДНФ: форма записи функции, обладающая следующими свойствами: § Любые два слагаемых различаются как минимум в двух позициях § Ни о

Минимальная ДНФ
Определение: Минимальная ДНФ — такая сокращенная ДНФ, в которой содержится минимальное количество вхождений переменных. Каждая миним

Метод Квайна
Метод применим к СДНФ и основывается на применении двух основных соотношений: 1. склеивание

Метод диаграмм Вейча
Метод получает МДНФ булевой функции небольшого числа переменных. Булевы функции задаются в виде специальных диаграмм. Для функции 2-х переменных и 3-х переменных:

Минимизация частично определенных булевых функций
В реальных задачах часто бывает так, что значение булевой функции на некоторых наборах не определено и может доопределяться произвольно. Тогда доопределение функции целесообразно проводить так, что

Минимизация функций в базисах И-НЕ и ИЛИ-НЕ
Функции " стрелка Пирса" (ИЛИ-НЕ) и "штрих Шеффера" (И-НЕ) обладают функциональной полнотой; для двух переменных:

Полные системы булевых функций
Полные системы функций Править Множество

Линейные функции
Определение. Функция называется линейной, если её полином Жегалкина не содержит конъюнкций. Общий вид линейной функции