ПРАКТИЧНА РОБОТА № 3.
Проектування комбінаційних схем. Мінімізація булевих функцій.
Мета: Навчитись мінімізувати логічні функції аналітичним і графічним методами із застосуванням карт Карно.
Теоретичні відомості
У виробництві часто використовують комбінаційні керуючі схеми, які задають значення параметрів технологічного процесу залежно від логічних ознак. Схема об’єкту керування з двійковими логічними аргументами Х1, Х2, Х3 та Х4 на виході показана на рис. 3.1.
Комбінаційна схема залежно від значення аргументів на вході виробляє керуючі двійкові сигнали від F0 до F9.’
Рис. 3.1. Комбінаційна схема керування об’єктами
Комбінаційні схеми будуються на основі логічних елементів. Логічний стан виходів елементів комбінаційної схеми залежить тільки від комбінації вхідних сигналів у певний момент часу.
Областю визначення логічної функції F (Х1, Х2, … , Хn) є cкінченна множина різних двійкових наборів довжиною n, на кожному з яких указується значення функції нуль або одиниця. Кількість різних двійкових наборів дорівнює множині n-розрядних двійкових чисел m = 2n.
Довільну булеву функцію можна задавати різними способами: словесним описом, часовими діаграмами, геометричними фігурами, графами, таблицями істинності та аналітичними виразами.
У разі задання функції таблицею істинності в лівій її частині подано усі можливі двійкові набори, а в правій – вказано значення функції на цих наборах.
Розроблено універсальні (канонічні) форми представлення булевих функцій, які дають можливість одержати аналітичну форму довільної функції безпосередньо з таблиці істинності. Ця форма надалі може бути мінімізована або спрощена. Оскільки між множиною аналітичних представлень і множиною схем, які реалізують цю функцію, існує взаємно однозначна відповідність, то пошук канонічної форми запису є початковим етапом синтезу логічних схем.
Найбільше поширення одержали ДДНФ і ДКНФ. Для одержання цих форм вводяться поняття мінтермів (конституєнта 1) і макстермів (конституєнта 0).
Мінтерм – це функція n змінних, яка дорівнює одиниці тільки на одному наборі. Мінтерм одержують як кон’юнкцію n змінних, що входять до нього у прямому виді, якщо значення даної змінної в наборі Xi = 1, і – із запереченням, якщо Xi = 0.
Макстерм – це функція n змінних, яка дорівнює нулю тільки на одному наборі. Макстерм одержують як диз’юнкцію усіх змінних, що входять до нього у прямому вигляді, коли значення Xi = 0, або в інверсному вигляді, якщо значення Xi = 1.
Важливим етапом проектування комп'ютерних схем є мінімізація булевих функцій, тобто знаходження їх виражень з мінімальною кількістю букв. Мінімізація забезпечує побудову економічних схем комп'ютерів. Для мінімізації функцій із кількістю букв n ≤ 6 застосовують карти Карно. Їх будують у вигляді таблиць з 2n клітинок з розміткою рядків і стовпчиків змінними. Кожна клітинка карти Карно однозначно відповідає одному наборові таблиці істинності для функції п змінних або мінтермам цієї функції. Клітинки карти Карно часто нумерують десятковими цифрами – номерами наборів.
При мінімізації для кожного мінтерму, який входить у ДДНФ функції, ставиться одиниця, а інші клітинки не заповнюються.
Мінтерми в сусідніх клітинках карти Карно в рядку (з урахуванням верхніх і нижніх) або в стовпчику (з урахуванням крайніх) розрізняються значенням однієї змінної, що дозволяє виконувати операцію склеювання за цією змінною.
Наведемо загальні правила мінімізації.
1. Зображають карту Карно для n змінних і розмічають її рядки та стовпчики. У клітинки таблиці, які відповідають мінтермам (одиничним наборам) функції, що мінімізується, записують одиницю.
2. Склеюванню підлягають прямокутні конфігурації, які заовнені одиницями і містять 1, 2, 4 або 8 клітинок. Верхні й нижні рядки, крайні ліві і праві стовпчики карти ніби склеюються, створюючи поверхню циліндра.
3. Множина прямокутників, які покривають усі одиниці, називається покриттям. Чим менше прямокутників і чим більше клітинок у прямокутниках, тим краще покриття. З декількох варіантів вибирають...