Геометричні методи мінімізації булевих функцій Лекція 7 Геометричні методи мінімізації 1
Метод карт Карно Найпоширенішим є метод, заснований на використанні карт Карно, що є графічним представленням таблиць істинності булевих функцій. Таблиці містять по 2 n прямокутні комірки, де n – кількість логічних змінних. Карта розмічається системою координат, яка відповідає значенням змінних. Комбінація цифр у позначенні кожного стовпчика показує, для яких значень змінних обчислюється функція, розташована в його клітинках. Якщо на наборі ( 1, . . . , n) значення функції дорівнює 1, то її д. д. н. ф. містить елементарну кон'юнкцію , яка набуває значення 1. Тому комірки карти Карно, що являють функцію, містять стільки 1, скільки елементарних кон'юнкцій міститься в її д. д. н. ф. , причому, кожній 1 відповідає одна з елементарних кон'юнкцій. Геометричні методи мінімізації 2
Структури карт Карно для функцій двох і трьох змінних x 2 0 1 x 1 0 f(0, 0) f(0, 1) 1 f(1, 0) f(1, 1) 00 x 1 01 f(0, 0, 0) f(1, 0, 0) x 2 x 3 11 10 f(0, 0, 1) f(0, 1, 0) f(1, 0, 1) f(1, 1, 0) Геометричні методи мінімізації 3
Структура карти Карно для функції чотирьох змінних x 3 x 4 11 00 01 00 f(0, 0, 0, 0) f(0, 0, 0, 1) f(0, 0, 1, 0) x 1 x 2 01 f(0, 1, 0, 0) f(0, 1, 0, 1) f(0, 1, 1, 0) 11 f(1, 1, 0, 0) f(1, 1, 0, 1) f(1, 1, 1, 0) 10 f(1, 0, 0, 0) f(1, 0, 0, 1) f(1, 0, 1, 0) Геометричні методи мінімізації 10 4
Координати рядків і стовпчиків у карті Карно слідують не у природному порядку зростання двійкових кодів, а у порядку 00, 01, 10. Модифікацію порядку слідування наборів зроблено для того, щоб сусідні набори (які відрізняються один від одного тільки цифрою одного розряду) були сусідніми у геометричному розумінні. Геометричні методи мінімізації 5
Cусідні прямокутники (1) На рисунку прямокутнику, який містить чотири комірки, відповідає елементарна кон'юнкція двох змінних, а квадрату, що складається з однієї комірки, – елементарна кон'юнкція Відповідна покриттю функція має вигляд f(x 1, x 2, x 3, x 4) =. Геометричні методи мінімізації 6
Cусідні прямокутники (2) Прямокутники із одиницями у першому та четвертому стовпчиках будуть сусідніми у геометричному розумінні. Одиниці у першому та четвертому рядках також сусідніми у геометричному розумінні. Геометричні методи мінімізації 7
Cусідні прямокутники (3) Чотири одиниці на рисунку також будуть суміжними у геометричному розумінні і відповідають одному прямокутнику площею 4. Комірки карти Карно розміщено на поверхні тора. Верхня та нижня межі карти Карно склеюються, а склеювання бічних меж утворює тороїдальну поверхню. Тому комірки на останніх двох рисунках утворюють прямокутники. Геометричні методи мінімізації 8
Процес мінімізації булевої функції Процес мінімізації полягає у формуванні правильних прямокутників, які містять по 2 k комірки, заповнені одиницями (k – ціле число). У прямокутники поєднуються сусідні комірки, що відповідають сусіднім елементарним кон'юнкціям. Сукупність прямокутників, що покривають усі 1, називається покриттям. Одна й та сама комірка може бути покрита двома чи кількома прямокутниками. Зробимо висновки: 1. Формула, отримана у результаті мінімізації булевої функції за допомогою карт Карно, містить стільки елементарних кон'юнкцій, скільки прямокутників є у покритті. 2. Чим більше комірок у прямокутнику, тем менше змінних у відповідній їй елементарній кон'юнкції. Геометричні методи мінімізації 9
Послідовність дій за мінімізації булевих функцій за методом карт Карно 1. Зображується таблиця для n змінних і виконується розмітка її бічних сторін. 2. Комірки таблиці, що відповідають наборам змінних, на яких значення функції дорівнює 1, заповняються одиницями, інші – не заповнюються (або заповнюються 0). 3. Вибирається найкраще покриття таблиці правильними прямокутниками, яким вважається утворене мінімальною кількістю прямокутників; якщо ж таких варіантів кілька, то з них вибирається той, що дає максимальну сумарну площу прямокутників. Якість мінімізації оцінюється функціоналом, що називається коефіцієнтом покриття k = m/s, де m – загальна кількість прямокутників; s – їх сумарна площа. Геометричні методи мінімізації 10
Неповністю визначені булеві функції Якщо булева функція має заборонені набори змінних, то її значення на вказаних наборах не визначено, що у таблиці істинності функції позначаються знаком *. На карті Карно комірки, відповідні забороненим наборам змінних, також позначаються знаком *. За мінімізації неповністю визначеної функції її варто додатково визначити (невизначені значення комірок карти Карно довільно довизначити як 0 або 1). Якщо булева функція має m заборонених наборів змінних, то може існувати 2 m варіантів розв'язку задачі довизначення функції. Бажано вибрати варіант, за якого формула мінімізованої функції буде найпростішою (матиме відповідне значення функціонала LЛ(A), LК(A) або LЗ(A). Геометричні методи мінімізації 11
Приклад неповністю визначеної функції (1) Приклад 2. 12. На рисунку (наступний 0 0 0 * 0 0 1 1 0 * 0 1 1 0 0 1 * 1 1 0 0 1 Геометричні методи мінімізації f 1 слайд) зображено карти Карно неповністю визначеної булевої функції і два варіанти її покриття. Зіставлення рис. 2. 8 б і в дає змогу зробити висновок, що д. н. ф. A 2 є кращою за д. н. ф. A 1. x 1 x 2 x 3 1 12
Приклад неповністю визначеної функції (2) х2 х3 A 1 = х2 х3 A 2 = х3 Геометричні методи мінімізації 13
Схеми логічних елементів Нижче подано логічні елементи, що реалізують найпростіші булеві функції. Якщо виходи одних елементів поєднати із входами інших, то одержимо схему, що реалізує складніші функції. Сукупність різних типів елементів, достатніх для відтворення будь-якої булевої функції, називатимемо логічним базисом. Вище було показано, що елементи AND і NOT є таким логічним базисом, де елемент типу OR може бути отримано із елементів AND і NOT відповідно до рівняння Y =. Геометричні методи мінімізації 14
Елемент AND-NOT Логічний базис може складатися тільки з одного типу елементів, наприклад, AND-NOT (булева функція штрих Шеффера). Геометричні методи мінімізації 15
Формування функцій AND та OR Схеми одержання функцій AND та OR подано на рисунках а та б ліворуч та праворуч відповідно. а Геометричні методи мінімізації б 16
Комбінаційні схеми При поєднанні логічних елементів утворюються пристрої, схеми яких називають логічними. Якщо у логічній схемі відсутні зворотні зв'язки, то їх називають комбінаційними. Вони реалізують функції, значення яких на поточний момент часу визначаються тільки сукупністю значень вхідних змінних і не залежать від попередніх значень вхідних змінних. Комбінаційні схеми називають такими, що не мають властивості пам'яті (попередня історія не впливає на результат перетворення). За формального синтезу комбінаційних схем часом затримки логічних елементів нехтують. Геометричні методи мінімізації 17
Приклад синтезу комбінаційного суматора Приклад 2. 13 синтезу комбінаційного absp суматора. Найпростішим пристроєм, що 0000 виконує додавання двох однорозрядних чисел, 0110 є комбінаційний суматор. Функції s (сума) і p (перенесення) для цього елемента подано у 1010 таблиці, а логічні рівняння подано нижче: 1101 Схему однорозрядного комбінаційного суматора, що реалізовано у базисі AND-NOT, подано на наступному слайді (рис. а); на рис. б наведено його умовне позначення. Цей елемент інколи називають однорозрядним напівсуматором, оскільки у ньому не враховується можливість підсумовування ознак перенесення із попереднього розряду. Геометричні методи мінімізації 18
Однорозрядний напівсуматор а Геометричні методи мінімізації б 19
Однорозрядний суматор Два однорозрядних напівсуматори утворюють однорозрядний суматор, схему якого наведено на наступному слайді (рис. а). Проміжна сума si' утворюється як результат підсумування значень однойменних розрядів ai та bi вихідних чисел. Далі si підсумовується з ознакою перенесення pi-1 із попереднього розряду, утворюється остаточне значення суми si. Ознаки перенесення pi' і pi'' з обох напівсуматорів поєднуються за схемою OR, унаслідок чого виникає остаточне значення перенесення pi (обидві ознаки pi' і pi'' не можуть одночасно дорівнювати 1). Умовне позначення комбінаційного суматора на схемах подано на наступному слайді (рис. б). Геометричні методи мінімізації 20
Схема однорозрядного суматора б а Геометричні методи мінімізації 21
n-розрядний комбінаційний суматор (1) Поєднання n суматорів дозволяє побудувати схему nрозрядного комбінаційного суматора (наступний слайд). На його виходах s 1, . . . , sn з'явиться код, відповідний значенню суми двох n-розрядних вихідних двійкових чисел. Ознака pn використовується для індикації переповнення розрядної сітки комп'ютера. Геометричні методи мінімізації 22
n-розрядний комбінаційний суматор (2) Геометричні методи мінімізації 23
Геометричні методи мінімізації 24
Скачать презентацию Геометричні методи мінімізації булевих функцій Лекція 7 Геометричні
ДМ_л7_2012.ppt