Представление логической функции, заданной таблично, в аналитической форме

1. Ельникова Э.П., Зарубина З.В. Совершенствуй свой английский. –

М.: Р.Валент, 2005.

2. Молха Г.Х. О Казахстане вкратце. – Астана: Научная книга, 2000.

3. Артыкбаев Ж.О. 12 лекций по истории Казахстана. – Астана: Фолиант, Астана–СПб., 2002.

4. Знаменитые столицы и города мира: Справ-к. – Ростов/Дон: Феникс, 2000.

5. Иностранные языки в школе. – М., 2006-2008. Merkulova Y.M.. English. Reading, writing and conversation. – СПб.: Союз, 1989.

6. Kirillova E.P. Talks on Familiar Topics. М.: Межд. отн. 1976.

7. Клементьева Т.Б. Reader. – Обнинск: Титул, 2003.

8. Inside Out. – MacMillan, 2008.

9. Opportunities. – MacMillan, 2008.

10. Дроздова Т.Ю., Берестова А.И., Маилова В.Г. – Everyday English, 2008.

11. www.expat.ursat.kz

12. www.atlapedia.online

13. www.wickipedia.ru

АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ

СЛОЖНЫХ УСТОЙСТВ В КОМПЬЮТЕРНОЙ СИСТЕМОТЕХНИКЕ

Учебное пособие

Лабораторные работы № 4 – 6

Харьков 2006

СИНТЕЗ И МОДЕЛИРОВАНИЕ КОМБИНАЦИОННЫХ УСТРОЙСТВ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ

Представление логической функции, заданной таблично, в аналитической форме

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

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

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

Минтерм (конъюнктивный терм) — терм, связывающий переменные, представленные в прямой или инверсной форме, знаком конъюнкции.

Макстерм (дизъюнктивный терм) — терм, связывающий переменные, представленные в прямой или инверсной форме, знаком дизъюнкции.

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

1. Выделить строки в таблице истинности, соответствующие единичному значению результата.

2. Записать минтермы для каждой строки (переменные со значением «1» учитываются в минтерме в прямом виде, а переменные со значением «0» — в инверсном).

3 Объединить полученные минтермы знаком дизъюнкции