Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекції метод..doc
Скачиваний:
1
Добавлен:
01.04.2025
Размер:
36 Мб
Скачать
☆

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

F=x1x2x3 + x1x2x3 + x1x2x3 + x1x2x3 = x2x3 (x1+x1) + x1x2x3 + x1x2x3 = x2x3 + x1x2x3 + x1x2x3 = x3(x2 = x1x2) + x1x2x3 = x3 (x2+x2) (x2+x1) + x1x2x3 = x2x3 + x1x3 + x1x2x3 = x2x3 + x1(x3 + x2x3) = x2x3 + x1(x3+x3) (x3+x2) = x2x3 + x1x3 + x1x2.

В процесі мінімізації логічних функцій використовується поняття сумісних термів.

Сумісними мінтермами називаються мін терми, що розрізняються лише однією змінною: в один мін терм вона входить у прямому вигляді, а в другий – в інверсному. Над сумісними мін термами виконують операцію склеювання, в результаті чого формується кон’юнкція, що називають імплікантою

x1x2x3 + x1x2x3 = х2х3 (х1+х1) = х2х3

Рангом мінтерма чи імпліканти називають кількість змінних у мін термі чи імпліканті. При виконанні склеювання імпліканта має на 1-цю менший ранг в порівнянні з мін термами, що склеюються.

  1. Мінімізація ФАЛ за допомогою карт Вейча (Карно). Даний метод базується на табличному представленні функції. Він широко застосовується при ручній, без застосування ЕОМ, мінімізації ФАЛ, число змінних в якій зазвичай не перевищує п’яти.

Карта Вейча (Карно) – прямокутна таблиця, кількість клітин в якій для ФАЛ n змінних дорівнює 2n. Стовбці і рядки карти розмічаються таким чином, щоб у поряд розташованих стовбцях і рядках знаходилися сумісні терми. У клітинах карти записуються значення функції привідповідних наборах змінних.

Розглянемо карту Карно для 2-х змінних.

2n=4

0 1

АВ

АВ

АВ

АВ

0

1

Розглянемо карту Карно для 3-х змінних

2n=8

0 0 0 1 1 1 1 0

АВС

АВС

АВС

АВС

АВС

АВС

АВС

АВС

0

1

Розглянемо карту Карно для 4-х змінних

2n=16

0 0 0 1 1 1 1 0

0 0

0 1

1 1

1 0

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

А

В

С

F

0

0

0

0

0

0

1

1

0

1

0

0

0

1

1

0

1

0

0

1

1

0

1

0

1

1

0

1

1

1

1

0

0 0 0 1 1 1 1 0

1

1

1

0

1

При мінімізації функції поряд розташовані одиниці охоплюються овалами, при чому кількість одиниць в овалі повинна бути кратною 2к, де к = 1,2,3…

F = АС + АВС – результуюча імпліканта.

АВС + АВС = АС(В+В) = АС

Правила мінімізації функції чотирьох аргументів.

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

00 01 11 10

1

1

1

1

1

1

1

1

1

1

1

1

00

01

11

10

F=С+В

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

00 01 11 10

1

1

1

1

1

1

1

1

00

01

11

10

F=D

  1. Якщо одиницями заповнені 4 поряд розташовані клітини , то результуюча імпліканта буде мати 2-й ранг.

00 01 11 10

1

1

1

1

1

1

1

00

01

11

10

F=АВ+СD

00 01 11 10

1

1

1

1

1

1

1

1

00

01

11

10

F=СА+ВD

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

00 01 11 10

1

1

1

1

1

00

01

11

10

F=ВD+АСD