Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КОНСПЕКТ З ЦСХ 2.doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
1.8 Mб
Скачать

1.4.4. Аналітичне представлення булевих функцій.

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

- досконала диз’юнктивна нормальна форма (ДДНФ);

- досконала кон’юнктивна нормальна форма (ДКНФ).

Для одержання таких форм запису булевих функцій вводяться поняття

мінтермів (конституєнта 1) та макстермів (конституєнта 0).

МІНТЕРМ (m) - це функція n змінних, яка дорівнює одиниці тільки на певному наборі. Мінтерм одержують як кон’юнкцію n змінних, що входять до нього у прямому виді, якщо значення даної змінної в наборі Хi = 1, та – із інверсією, якщо Хi = 0. При n змінних число мінтермів дорівнює

мінтермів m0, m1,… mR. , де R = – 1.

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

Х2

Х1

F3

fi

Мінтерми

Макстерми

0

0

1

f0 = 1

m0 = 2 1

M0 = X2\/ X1

0

1

0

f1 = 0

m1 = 2 X1

M1 = X2\/ 1

1

0

0

f2 = 0

m2 = X2 1

M2 = 2\/ X1

1

1

1

f3 = 1

m3 = X2 X1

M3 = 2\/ 1

Значення функції F3 , які відповідають, згідно з таблицею істинності, кожному i- тому наборові , позначені через f0 , f1 , f2 , f3.

Представлення функції F3 у ДДНФ є диз’юнктивною сумою мінтермів , які відповідають наборам змінних , для яких fi =1:

F3 = f0 m0 \/ f1 m1 \/ f2 m2 \/ f3 m3 = 1 m0 \/ 0 m1 \/ 0 m2 \/ 1 m3 = m0 \/ m3 = 2 1\/

Х2 Х1.

МАКСТЕРМ (М)– це функція n змінних, яка дорівнює нулю тільки на певному наборі. Макстерм одержують як диз’юнкцію усіх змінних, що входять до нього у прямому вигляді, коли значення Хi = 0, або в інверсному вигляді, якщо значення Хi = 1. Число макстермів дорівнює

, М0, М1,… МR, де R = – 1.

Функції макстермів двох замінних наведені в таблиці істинності та записуються у вигляді:

F3 = (f0 \/ M0)( f1\/ М1)( f2 \/ М2)( f3 \/ М3) = (1\/ M0)(0\/ M0)(0\/М2)(1\/ М3) = М1 М2 =

(Х2\/ 1) ( 2\/ Х1).

Для запису ДДНФ потрібно дизюнктивно скласти ті мінтерми, для яких функція дорівнює одиниці.

Для запису ДКНФ потрібно записати кон’юкцію тих макстермів, для яких функція дорівнює нулю.

Приклад запису ДДНФ та ДКНФ для трьох змінних.

Х3

Х2

Х1

F

mi

Mi

0

0

0

0

m0 = 3 2 1

M0 = Х3\/ Х2\/ Х1

0

0

1

1

m1 = 3 2 Х1

M1 = Х3\/ Х2\/ 1

0

1

0

0

m2 = 3 Х2 1

M2 = Х3\/ 2\/ Х1

0

1

1

1

m3 = 3 Х2 Х1

M3 = Х3\/ 2\/ 1

1

0

0

1

m4 = Х3 2 1

M4 = 3\/ Х2\/ Х1

1

0

1

0

m5 = Х3 2 Х1

M5 = 3\/ Х2\/ 1

1

1

0

1

m6 = Х3 Х2 1

M6 = 3\/ 2\/ Х1

1

1

1

1

m7 = Х3Х2 Х1

M7 = 3\/ 2\/ 1

ДДНФ F = 3 2 Х1 \/ 3Х2 Х1 \/Х3 2 1 \/Х 3Х2 1 \/Х3Х2 Х1

ДКНФ F = ( Х3\/Х2\/Х1)(Х3\/ 2\/Х1)( 3\/Х2\/ 1)