1.Минимизация логических функций методом квайна

Этот метод позволяет представить лог. ф-ию в виде КНФ или ДНФ с минимальным кол-вом членов. Используется два этапа: 1) переходят от СКНФ, СДНФ к сокращенной форме, используя операции склеивания и поглощения многократно до достижения предела сокращенной формы.2) переходят от сокращ формы к минимальной. Когда сокращ форма = минимальной 2-ой этап пропадает.

Минимизация на базе СДНФ:1. а)Необх-мо выявить пары склеив-ых членов. и Эти члены отлич др от др тем, что один и тот же аргумент в один из членов входит с инверсией а в др без инверсии. Один и тот же член м попарно склеив-ся с несколькими членами. В рез-те скл-я получ: Результаты скл-я + к исх членам,тк результат не меняется. б) операция поглощения основана на равенстве ,те член с конъ-но связ-ми аргументами поглощает друг член с теми же аргум-ми и рядом других. Члены сокращ формы наз простыми импликантами.2 В некот случ предельно сокращ форма содержит лишние импликанты. Д/перехода к МДНФ строят импликантную матрицу.Затем помеч те члены СДНФ, кот поглощ соотв-ми импликантами. Цель-как можно меньшим числом импл-т поглотить все чл СДНФ. Некот чл поглощ дважды, а некот только одной. Эти импликанты должны обязат войти в МДНФ, они образ ядро. Миним на базе СКНФ: 1) в кач-ве исх формы берется СКНФ2) скл-ые чл имеют структуру и .Рез-т склеив-я =а 3) Структура поглощаемых членов : и рез-тат , т.е тот член в кот дизъ-но связаны определ-е аргументы поглощает тот член в кот дизъ-но связаны те же аргум-ты и еще ряд других.

1 Минмизация логических функций методом вейча

Метод Вейча позволяет достигнуть результатов просто. Этот метод содержит элементы творчества и применяется для функций с числом элементов не >5. Карта Вейча- это определенная форма таблицы истинности. Карты имеют следующий вид.

	1		0	1		1
	1		0	1		1
	0		1	1		0
	0		0	0		0

Каждой клетке соответствует вполне определенный набор аргументов и знач ф-ции для данного набора. В этом наборе присваивается лог1 эл-нту без инверсии и лог 0 элементу с инверсией. Карты Вейча компактны и позволяют осущ минимизацию благодаря след св-ву: при переходе от клетки к клетке изменяется только один аргумент. Если в соседних клетках стоят лог 1(лог 0), то в соотв членах канонич формы СДНФ(СКНФ) изменяется только один из аргументов и над этими членами производится операция склеивания с поглощением измен-ся аргумента. Каждый член в СКНФ и МКНФ предст собой диз-ю аргументов набранных таким образом, чтобы данная диз-я обращалась в 0. Для этого все аргументы, входящие в набор соотв. клетки инвертир-ся.

ПОЛУЧЕНИЕ МДНФ ПО КАРТЕ ВЕЙЧА