Учебно-методический комплекс дисциплины обсужден на заседании кафедры информационной безопасности «7»

Структурная схема, соответствующая этому выражению, приведена на рис. 3.28. рис 3.28 Переход от сокращенной формы (3.15) к МДНФ (3.16) был осуществлен путем исключения лишних имплнкант и . Покажем допустимость подобного исключения членов из логического выражения. Импликанты и обращаются в единицу соответственно при следующих наборах значений аргументов: x1 = 0; х2 = 0; х3 = 0 и х2 = 1; х3 = 1; х4 = 0 (3.17) Роль этих имликант в выражении сокращенной формы функции (3.15) заключается лишь в том, чтобы на приведенных наборах (3.17) значений аргументов присваивать функции значение 1. Однако при этих наборах функция имеет значение 1 из-за остальных импликант выражения (3.15). Действительно, подставляя значения (3.17) в (3.16), получаем: при x1 = 0, x2 = 0, x3 = 0 при х2 = 1; х3 = 1; х4 = 0 До сих пор рассматривалось получение минимальной ДНФ. При использовании метода Квайна для получения минимальной конъюнктивной нормальной формы (МК.НФ) логической функции имеются следущие особенности: исходной для минимизации формой логического выражения заданной функции является СКНФ; пары склеиваемых членов имеют вид и ; операция поглощения проводится в соответствии с выражением. Рассмотрим применение метода Квайна на примере минимизации функции, заданной таблицей истинности (табл. 3.8). Совершенная КНФ рассматриваемой функции Склеивающиеся пары членов: первый и третий члены (результат склеивания); первый и четвертый члены (результат склеивания); Таблица 3.8 x1 0 0 0 0 1 1 1 1 x2 0 0 1 1 0 0 1 1 x3 0 1 0 1 0 1 0 1 f(x1,x2,x3) 1 0 0 0 1 0 1 1   Таблица 3.9 Простые импликанты Члены СДНФ X X X X X X   Проводя операции склеивания и поглощения, получаем члены операции склеивания Полученное выражение явлиется сокращенной формой функции. Для перехода к минимальной форме строим иммлнк.шгную матрицу (табл. 3.9). Все столбцы матрицы перекрываются импликантами и . Следовательно, член является лишним и минимальная конъюнктивная нормальная форма (МКНФ) заданной функции Минимизация логических функций методом карт Вейча Метод Квайна имеет четко сформулированные правила проведения отдельных операций, благодаря чему он может быть использован для минимизации функций с использованием ЭВМ в тех случаях, когда минимизируемая функция достаточно сложна (содержит большое число аргументов и каноническая форма имеет большое число членов). Однако для минимизации функции ручным способом (без использования ЭВМ) этот метод оказывается весьма трудоемким. Трудоемкость метода Квайна связана с необходимостью попарного сравнения всех членов выражения для выявления склеиваемых членов. Метод минимизации функции с помощью карт Вейча обеспечивает простоту получения результата. Он используется пои минимизации относительно несложных функций (с числом аргументов до 5) ручным способом. В отличие от метода Квайна этот метод требует элементов изобретательности и не может быть использован для решения задачи минимизации с помощью ЭВМ. Карга Вейча прдставляет собой определенную форму таблицы истинности. Табл. 3.10 являются картами Вейча для функций соответственно двух (а), трех (б), четырех (в) аргументов. Каждая клетка карты соответствует определенному набору значений аргументов. Этот набор аргументов определяется присвоением значения лог. 1 буквам, на пересечении строк и столбцов которых расположена клетка. Так, в карте функций четырех аргументов (табл. 3.10,в) клегки первой строки соответствуют следующим комбинациям аргументов: первая клетка вторая клетка третья клетка четвертая клетка Число клеток карты равно числу всех возможных наборов значений аргументов 2n (n – число аргументов функций). В каждую из клеток карты записывается значение функции на соответствующем этой клетке наборе значений аргументов. Пусть функция задана таблицей истинности в форме, которая использовалась ранее (табл. 3.11). Таблица истинности этой функции в форме карты Вейча представлена табл. 3.12. Как видим, карта Вейча определяет значения функции на всех возможных наборах значений аргументов и, таким образом, является таблицей истинности. Карты Вейча компактны, но главное их достоинство состоит в следующем. При всяком переходе из одной клетки в соседнюю вдоль столбца или строки изменяется значение лишь одного аргумента функции. Следовательно, если в паре соседних клеток содержится 1, то над соответствующими им членами канонической формы может быть проведена операция склеивания. Таким образом, облегчается поиск склеиваемых членов. Таблица 3.12 x1 0 0 0 0 1 1 1 1 x2 0 0 1 1 0 0 1 1 x3 0 1 0 1 0 1 0 1 f(x1,x2,x3) 0 1 0 1 0 0 1 1

Похожие:

	Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Учебно-методический комплекс дисциплины составлен на основании требований государственного образовательного стандарта высшего профессионального...		Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Системы и сети связи 090104. 65 – Комплексная защита объектов информатизации Форма подготовки очная
	Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Защита информационных процессов в компьютерных системах 090104. 65 – Комплексная защита объектов информатизации Форма подготовки...		Учебно-методический комплекс дисциплины Туризм, утвержденного приказом Министерства образования и науки РФ от 20. 01. 2006 г. №739гум/бак. Учебно-методический комплекс обсужден...
	Учебно-методический комплекс дисциплины «Формальности проживания в гостинице» Туризм, утвержденного приказом Министерства образования и науки РФ от 20. 01. 2006 г. №739гум/бак. Учебно-методический комплекс обсужден...		Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Учебно-методический комплекс составлен в соответствии с требованиями государственного образовательного стандарта высшего профессионального...
	Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Учебно-методический комплекс составлен в соответствии с требованиями государственного образовательного стандарта высшего профессионального...		Учебно-методический комплекс дисциплины обсужден на заседании кафедры «Финансы и кредит» Учебно-методический комплекс составлен в соответствии с требованиями государственного образовательного стандарта высшего профессионального...
	Учебно-методический комплекс дисциплины организация работы гостиниц 100200. 62 «Туризм» Туризм, утвержденного приказом Министерства образования и науки РФ от 20. 01. 2006 г. №739гум/бак. Учебно-методический комплекс обсужден...		Учебно-методический комплекс дисциплины обсужден на заседании кафедры компьютерных систем «03» Учебно-методический комплекс составлен в соответствии с требованиями федерального государственного образовательного стандарта высшего...
	Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Учебно-методический комплекс составлен в соответствии с требованиями федерального государственного образовательного стандарта высшего...		Учебно-методический комплекс дисциплины обсужден на заседании кафедры... Учебно-методический комплекс составлен в соответствии с требованиями государственного стандарта высшего профессионального образования...
	Проект) (КР,КП), Расчётно-графическая работа (ргр) Домашнее задание... Учебно-методический комплекс дисциплины обсуждён и утверждён на заседании кафедры «Гидротехнические сооружения»		Учебно-методический комплекс составлен на основании требований государственного... Учебно-методический комплекс дисциплины обсуждена на заседании кафедры Информационные системы управления «29» июня 2011 г
	Учебно-методический комплекс дисциплины материаловедение направление... Учебная программа обсуждена на заседании кафедры технологии и предпринимательства		Учебно-методический комплекс Наименование дисциплины Аритмология... Переутверждено на заседании кафедры госпитальной хирургии с курсом детской хирургии