Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Представление функции алгебры логики (ФАЛ) математическим выражением




Теоремы булевой алгебры.

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

 

 

Справедливость всех перечисленных теорем может быть доказана подстановкой.

 

 

 

При представлении ФАЛ математическим выражением используют два вида ее представления.

Дизъюктивной нормальной формой (ДНФ) называется логическая сумма элементарных логических произведений, в каждое из которых аргумент или его отрицание входят один раз.

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

Например, пусть задана логическая функция 3х переменных, которая равна единице в случае, если хотя бы две из входных переменных равны «1». Требуется записать ДНФ этой функции.

Представим логическую функцию в виде таблицы истинности.

 

Для данной логической функции ДНФ имеет вид:

 

ДНФ, полученная суммированием конституент единицы, называется совершенной (СДНФ).

Конъюктивной нормальной формой (КНФ) называется логическое произведение элементарный сумм, в каждую из которых аргумент или его отрицание входят один раз.

КНФ может быть получена из таблицы истинности: для каждого набора аргументов на котором функция равна «0» составляют элементарную сумму, причем переменные, значение которых равно «1», записываются с отрицанием. Полученные суммы, которые носят название конституент нуля или макстермов, объединяют операцией логического умножения.

Например, КНФ для функции из предыдущего примера имеет вид:

 

 

КНФ также называется совершенной, т.к. каждая элементарная сумма содержит все переменные.

Иногда удобнее пользоваться не самой ФАЛ, а ее инверсией. В этом случае при использовании вышеописанных методик для записи СДНФ надо использовать нулевые, а для записи СКНФ единичные значения функции.

Например, для ФАЛ предыдущего примера СДНФ и СКНФ инверсной функции имеют вид:

 

Иногда для сокращения записи ФАЛ представляют последовательностью десятичных чисел. Для представления ФАЛ последовательностью чисел задают десятичные значения конституент единицы или нуля.

Например, запись ФАЛ из предыдущего примера в виде последовательности чисел имеет вид:

 

 




Поделиться с друзьями:


Дата добавления: 2014-10-15; Просмотров: 379; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.007 сек.