ДонГТУ	Лабораторная работа №1	ЭМА-10
Кафедра АЭМС	ДОСЛІДЖЕННЯ РОБОТИ ЛОГІЧНИХ ЕЛЕМЕНТІВ ТА ПРОСТИХ КОМБІНАЦІЙНИХ СХЕМ	Штейгервальд А.А.

2.1 Мета лабораторної роботи

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

2.2 Програма лабораторної роботи

У програму роботи входить дослідження роботи логічних елементів "І", "АБО", "НЕ", "І-НЕ", "АБО-НЕ", "виключне АБО", а також простих комбінаційних схем відповідно до заданої таблиці істинності.

Логічне заперечення (інверсія)

Логічне заперечення (інверсія, операція «НЕ») є функцією одного аргументу. Дану функцію описує наступна словесна форма: результат приймає значення «0», якщо аргумент рівний «1» і навпаки.

У таблиці 2.1 зведені: табличний опис, символьні позначення, формульний опис і позначення електронного елемента, що реалізовує логічну функцію «ЗАПЕРЕЧЕННЯ». У даній таблиці і в подальших таблицях, що описують інші функції, аргументи позначаються через , а результат застосування функції через .

Таблиця 2.1 – Логічне заперечення

Позначення	Табличний опис		Формульний опис	Позначення електронного елемента
	X	Y
	0	1
	1	0

2.3.2 Логічне множення (кон'юнкція)

Логічне множення (кон'юнкція, «логічне І») є функцією двох та більше аргументів. Дану функцію описує наступна словесна форма: результат приймає значення «1», тільки якщо всі аргументи рівні «1», інакше - «0». Або по іншому: результатом логічного множення є «0» якщо хоч би один з аргументів рівний «0» і результат рівний одиниці в протилежному випадку.

Логічне множення характеризує таблиця 2.2.

2.3.3 Логічне складання (диз'юнкція)

Логічне складання (диз'юнкція, «логічне АБО») є функцією двох і більше аргументів. Дану функцію описує наступна словесна форма: результат приймає значення «1», якщо хоч би один аргумент рівний «1», інакше - «0». Або по іншому: результат логічного складання рівний «0» тільки якщо всі аргументи рівні «0» і рівний «1» в іншому випадку. Функцію логічного складання характеризує таблиця 2.3.

Таблиця 2.2 – Логічне множення

Позначення	Табличний опис				Формульний опис		Позначення електронного елемента
	0	0	0
	0	1	0
	1	0	0
	1	1	1

Таблиця 2.3 – Логічне складання

Позначення	Табличний опис			Формульний опис	Позначення електронного елемента
	0	0	0
	0	1	1
	1	0	1
	1	1	1

У позначенні логічного елементу знак часто опускають, залишаючи позначення у вигляді 1.

2.3.4 Аксіоми і закони булевої алгебри

Аксіоми булевої алгебри визначають наступні вирази:

(2.1)

Як і в звичайній алгебрі в алгебрі логіки діють наступні закони:

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

(2.2)

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

(2.3)

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

(2.4)

Слід звернути увагу на відсутність формальної аналогії між розподільними законами в звичайній і булевій алгебрі.

Крім того в алгебрі логіки діють такі закони:

1) закон поглинання

(2.5)

2) закон доповнення

(2.6)

3) закон нульової множини

(2.7)

4) закон універсальної множини

(2.8)

5) закон повторення

(2.9)

6) закон подвійного заперечення

(2.10)

7) закон заперечення (закон Моргана)

(2.11)

8) закон склеювання

(2.12)

Закон Моргана показує, що розглянутий класичний набір елементарних логічних функцій надмірний. Використовуючи тільки пару логічних функцій, а саме «ЗАПЕРЕЧЕННЯ» і одну з функцій двох змінних («логічне І» або «логічне АБО») можна визначити решту всіх логічних функцій. Ця властивість використовується при побудові електронних логічних елементів.

2.3.5 Базові електронні елементи

Суперпозиція функцій «ЗАПЕРЕЧЕННЯ» і «логічне І» породжують функцію «І-НЕ» (штрих Шеффера):

(2.13)

А суперпозиція функцій «ЗАПЕРЕЧЕННЯ» і «логічне АБО» породжують функцію «АБО-НЕ» (стрілка Пірса):

(2.14)

Опис елементів «І-НЕ» і «АБО-НЕ» приведено відповідно в таблицях 2.4 і 2.5.

Таблиця 2.4 – Логічне «І-НЕ»

Позначення	Табличний опис				Формульний опис		Позначення електронного елемента
	0	0	1
	0	1	1
	1	0	1
	1	1	0

Таблиця 2.5 – Логічне «ІЛІ-НЕ»

Позначення	Табличний опис			Формульний опис	Позначення електронного елемента
	0	0	1
	0	1	0
	1	0	0
	1	1	0

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

Кожна з серій цифрових мікросхем базується на дискретних електронних елементах, званих базовими. Елемент «І-НЕ», що реалізує функцію Шеффера (штрих Шеффера), використовується при побудові інтегральних мікросхем ТТЛ-структури. Елемент «АБО-НЕ» (стрілка Пірса) використовується в інтегральних мікросхемах к ‑ МОП структури.

Використання функцій, що не входять в визначений базис (функціональна надмірність), дозволяє істотно скоротити складність схем, що реалізують логічні вирази, і тим самим підвищити їх надійність. Тому базові елементи служать основою для побудови інших електронних елементів, що реалізують всі необхідні логічні функції. Об'єднуючи на одному кристалі базові елементи отримують мікросхеми, що реалізують функції "І" (конъюнктор), "АБО" (дизъюнктор), "НЕ" (інвертор) та інші. Серії цифрових мікросхем включають велику безліч елементів, що реалізоють як прості та і дуже складні логічні перетворення сигналів.

Мінімальність і надмірність - важливі аспекти теорії інформації. Як факт: вимірювання надмірності російської мови дали близько 80%. У сленгах (наприклад, мові авіадиспетчерів) надмірність ще вище.

Завершуючи тему базисів слід зазначити, що в «основний» набір електронних логічних елементів і функцій мов програмування зазвичай включають крім кон'юнкції, диз'юнкції, заперечення і ще одну логічну функцію "СУМА ПО МОДУЛЮ 2". Це пояснюється цілою низкою чудових властивостей цієї логічної функції.