31294

Мінімізація логічних функцій

Практическая работа

Информатика, кибернетика и программирование

Основна задача при побудові систем керування дискретними обєктами і процесами на основі логічних функцій: приведення логічних функцій керування до найбільш простого виду при якому система керування буде виконувати свої задачі. Для ручної мінімізації логічних функцій використовуються карти Карно і діаграми Вейча причому останні будують як розгорнення кубів на площині карти Карно.

Украинкский

2013-08-28

449.5 KB

22 чел.

ПРАКТИЧНЕ ЗАНЯТТЯ № 3

 

Тема:    Мінімізація логічних функцій

Мета заняття:  Закріпити отримані теоретичні знання з алгебри логіки та практичні навички з мінімізації логічних схем з використанням карт Карно, навчитися будувати контактні та безконтактні схеми на основі отриманих мінімальних логічних форм

1 ТЕОРЕТИЧНІ  ВІДОМОСТІ

Основою ефективності мінімізації будь-яких логічних схем поряд з досвідом і інтуїцією проектувальника служить обов'язкове знання ним фундаментальних основ алгебри логіки, до яких відносяться теореми, аксіоми і властивості основних логічних операцій, основні з який перераховано нижче.

Аксіоми алгебри логіки.

1.  - можливість виключення з логічного виразу всіх  членів, що мають подвійне заперечення, замінивши їх вихідною величиною;

2. ;  – правила подібних перетворень, що дозволяють скоротити довжину логічних виразів;

3. ;

4. ;

5. ;

6. ;

7. ;

8. .

Властивості диз'юнкції і кон’юнкції:

а) асоціативності (сполучний закон)

; ;

б)  комутативності (переміщувальний закон)

;  ;

в) дистрибутивності (розподільний закон)

; ;

Теореми:

а) склеювання

;

б) поглинання

; ;

в) де Моргана

; ;

Для функції Що виключає АБО:

Закони:

а) комутативності

;

б) асоціативності

;

в) дистрибутивності

.

Аксіоми:

;

;

;

.

Правила вираження базисів І, АБО, НЕ через базис Що виключає АБО:

;

;

.

Основна задача при побудові систем керування дискретними об'єктами і процесами на основі логічних функцій: приведення логічних функцій керування  до найбільш простого виду, при якому система керування буде виконувати свої задачі.

Мінімальна форма логічної функції – форма, що містить мінімальну кількість термів чи змінних у термах.

Для ручної мінімізації логічних функцій використовуються карти Карно і діаграми Вейча, причому останні будують як розгорнення кубів на площині карти Карно.

Порядок ручної мінімізації логічних функцій за допомогою карт Карно наступний:

1. Терми заносяться в карту (для СКНФ – нулі, для СДНФ - одиниці). Розташування термів у карті Карно для чотирьох логічних змінних проілюстровано на рис. 3.1.

00

01

11

10

00

0

1

3

2

01

4

5

7

6

11

12

13

15

14

10

8

9

11

10

Рис. 3.1

2. Терми поєднують у контури, причому число контурів повинне бути мінімальним, але як можна більшого розміру.

3.  Контури можуть бути прямокутної чи квадратної форми; терми, що розміщуються по діагоналі, у контури не поєднуються.

4. Проводиться операція склеювання. Число розрядів, на яке зменшується вихідний терм, визначається в залежності від величини контуру (2-1, 4-2, 8-3, 16-4) і т.п. Склеюванню підлягають ті аргументи, що змінюються в межах контуру.

5. Записується мінімальна форма.

Карти Карно і діаграми Вейча доцільно застосовувати при числі змінних не більше 5. Якщо їх більше – користуються методами Квайна і Квайна – Мак-Класки.

При необхідності реалізації схеми на контактних елементах за синтезованою функцією слід пам'ятати, що сигнал без інверсії – це розімкнутий контакт, сигнал з інверсією – замкнений (див. рис. 3.2), логічна кон’юнкція – послідовне поєднання контактів, а логічна диз’юнкція – паралельне (див. рис. 3.3).

Рис. 3.2 Рис. 3.3

При реалізації схеми на безконтактних елементах слід застосовувати теорему де Моргана.

Тут варто відмітити, що форма, одержувана при мінімізації по карті Карно, не завжди є самою мінімальною, і до неї можна застосовувати всі теореми й аксіоми алгебри логіки, намагаючись спростити схемну реалізацію отриманої логічної функції.

Щоб показати ефективність логічних перетворень і множинність одержуваних мінімальних форм, розглянемо наступний приклад. Нехай необхідно побудувати на логічних мікросхемах серії К155 декілька варіантів схем, що реалізують задану мінімальну ДНФ (3.1) і порівняти отримані результати.

(3.1)

Схемну реалізацію цієї формули представлено на рис. 3.4.

Рис. 3.4

Оскільки, на підставі довідкової даних, затримки поширення сигналу для елементів ЛР3 і ЛН1 серії К155 однакові, затримка всієї схеми дорівнює . Апаратні витрати складаються з п'яти інверторів ЛН1, кожний з який займає 1/6 корпуса, і елемента І-АБО-НІ - ЛР3, що займає цілий корпус. Разом для схеми за рис. 3.4:

Невикористані елементи частково зайнятого корпуса (у даному випадку шостий інвертор) не враховуються, оскільки вони можуть бути використані в інших вузлах. Підрахунки зручно робити в дванадцятих частках корпуса: 12 – це число логічних виводів корпуса найменшого розміру. Оцінка устаткування в дванадцятих частках корпуса чисельно близька до оцінки устаткування по сумі входів і виходів всіх елементів.

Оскільки в ЛР3 частина входів залишилися невикористаними, можна спробувати реалізувати за допомогою елементів І-НЕ, набір яких має дрібну градацію по числу входів. Застосувавши до (3.1) правило де Моргана, отримаємо:

(3.2)

Реалізацію (3.2) представлено на рис. 3.5.

Рис. 3.5

Параметри схеми: ; . Схема виявилась помітно більш економічною.

Можна спробувати використати формулу де-Моргана для зменшення числа інверторів на вході. Тоді:

(3.3)

Схему, що реалізує (3.3), показано на рис. 3.6.

Рис. 3.6

Для неї ;  корпуса. Вдалося виграти і в часі, і в устаткуванні. Ще одне застосування формули де-Моргана дає:

(3.4)

Схему за формулою (3.4) представлено на рис. 3.7. Її параметри: ; . Схема виявилася дуже економічною, хоча і досить повільною.

Рис. 3.7

Якщо в (3.4) розкрити дужки, то можна отримати ще один варіант схеми (рис. 3.8):

; ; . (3.5)

Рис. 3.8

Затримка цієї схеми виявилася найменшої з усіх розглянутих.

На рис. 3.4-3.8 показано всі отримані схеми, хоча для спрощення функції  просто кілька разів використовувалося правило де-Моргана. Продовжуючи перетворення логічного виразу, можна побудувати ще ряд схем і порівняти зі вже отриманими.

 

2 КОНТРОЛЬНИЙ ПРИКЛАД

Здійснити мінімізацію функції  згідно з завданням: . За допомогою карти Карно отримати мінімальну форму функції, побудувати контактну та безконтактну (на базі елементів І-НІ) схеми.

Рішення

В даному випадку маємо (див. рис. 3.9)

Рис. 3.9

. (3.6)

Контактну схему з урахуванням вихідних теоретичних відомостей  зображено на рис. 3.10.

Рис. 3.10

Для переходу до базису І-НЕ використаємо теорему де-Моргана і отримаємо

. (3.7)

Безконтактну схему для (3.7) зображено на рис. 3.11.

Рис. 3.11

3 ЗАВДАННЯ НА САМОСТІЙНУ РОБОТУ

1. Провести мінімізацію функцій за допомогою карт Карно, та побудувати контактні та безконтактні схеми в логічному базисі І-НІ.

а)

б) .

Для переходу до базису І-НІ використати теорему де-Моргана.

2. Провести можливу мінімізацію форми, отриманої за картою Карно, користуючись теоремою де-Моргана.

4 КОНТРОЛЬНІ ЗАПИТАННЯ

  1.  Назвіть основні аксіоми алгебри логіки.
  2.  Сформулюйте та докажіть основні теореми алгебри логіки.
  3.  Сформулюйте основні властивості логічних операцій.
  4.  Покажіть правила переходу між різними логічними базисами.
  5.  Назвіть етапи мінімізації логічних функцій за допомогою карти Карно.
  6.  В чому заключаються основні принципи побудови контактних схем на основі заданих логічних функцій?
  7.  Як реалізувати безконтактну схему, задану логічною функцією, в конкретному логічному базисі?

 

30


 

А также другие работы, которые могут Вас заинтересовать

36388. Электрические принципиальные схемы систем и средств автоматизации. Назначение и правила выполнения 24.29 KB
  Электрические принципиальные схемы систем и средств автоматизации. Принципиальные электрические схемы определяют полный состав приборов аппаратов и устройств а также связей между ними действие которых обеспечивает решение задач управления регулирования защит измерения и сигнализации. Эти схемы служат для изучения принципа действия системы они необходимы при производстве наладочных работ и в эксплуатации. Схемы выполняются применительно к определенным самостоятельным элементам установкам или участкам автоматизированной системы...
36389. тема или АИС это совокупность различных программноаппаратных средств которые предназначены для автомат. 28.78 KB
  Учет снабжения Финансовый учет Информация опоставке информация об оплате Бухгалтерский учет Требования на отпускинформация о поступлении груза цены на ресурсы данные о качестве Учет производства и контроль качества Учет вспомогательно прва Управление и анализ Отчетность по снабжению указания и планы Подсистема Учет снабжения предназначена для ввода и обработки информации по обеспечению оборудованием и материалами предоставляемой отделами и службами предприятия. Данная подсистема осуществляет интенсивный обмен информацией с подсистемой...
36390. Перестроение импульсной характеристики в кривую разгона 887.85 KB
  На участке 1 переходная характеристика совпадает с импульсной. На последующем участке переходная характеристика получается путем суммирования ординат импульсной характеристики на этом участке с соответствующими значениями ординат на предыдущем участке.
36391. Приведите и поясните постановки задач синтеза линейных САУ 42.84 KB
  При синтезе задается множество М систем на котором производится выбор сист по заданному критерию оптимальности. Задача не тривиальна когда множество М содержит более 1го элемента т. 1 Параметрический синтез Элты мнва М различаются параметрами при этом мнва М2 второго ранга неопределенности представляет собой множество полностью определенных сист М3 и с допустимым диапазоном изменения параметров Q M2={ M3 Q} Пр: М2: Wpp=K1K21 p M3: K1 K2 G т. 2 Структурный синтез Элементы исходного множества отличаются...
36392. Сравнительный анализ АСУТП и АСУП 45.5 KB
  Сравнительный анализ АСУТП и АСУП У произвом и ТП имеет ряд отличий: 1 Произвом упрют люди в процессе У они воздействуют на людей. Технол процессом также упрют люди но они воздют на вещи срва произва и предметы труда. Сром труда в современном произве явлся машина человек получает данные о работе машины ее состоянии о наличии и качве сырья материалов и готовой продукции сравет их с планми и норматми данными принимает решение и передает его машине изменяя режим ее работы. 2 Продукт труда в У ТП продукт произва или...
36393. Средства измерения давления газа, жидкости и пара 61.52 KB
  Средства измерения давления газа жидкости и пара. Для прямого измерения давления жидкой или газообразной среды с отображением его значения непосредственно на первичном измерительном приборе на его отсчетном устройстве шкале табло или индикаторе применяются манометры. Если отображение значения давления на самом первичном приборе отсутствует т. прибор является бесшкальным но он позволяет получать и дистанционно передавать измерительный сигнал параметра такой прибор называют измерительным преобразователем давления ИПД или датчиком...
36394. Позиционные и следящие САУ электропривода. Регуляторы положения 24.81 KB
  Класс систем подчиненного регулирования 4 контура управления: контур напряжения контур тока контур скорости 4 регулятора контур положения Регуляторы положения: линейные нелинейные лучше минимум времени Следящие частный случай позиционной на входе задание меняется произвольным способом.
36395. Приведите классификацию и примеры методов синтеза закона управления линейных САУ 43.77 KB
  Методы аналитического синтеза. Эти методы позволяют решить задачу синтеза и провести полное исследование полученного решения. Корневые методы синтеза модальное управление 2.
36396. Средства определения химических составов чугуна, стали 46.71 KB
  Для экспрессанализа содержания углерода в металле применяются устройства основанные на зависимости термоэлектродвижущей силы возникающей в цепи из двух разнородных металлов или сплавов от их природы и свойства. С целью повышения точности определения содержания углерода пробу стали отбираемую по ходу плавки подвергают закалке при этом основной структурной составляющей пробы является мартенсит т. твердый раствор углерода в альфажелезе. В таких бинарных растворах между содержанием углерода и ТЭДС существует линейная зависимость.