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". Це пояснюється цілою низкою чудових властивостей цієї логічної функції.

2.3.6 Функція «сума по модулю 2»

Логічна функція «СУМА ПО МОДУЛЮ 2» для двох аргументів задається таблицею 2.6.

Таблиця 2.6 – Функція «СУМА ПО МОДУЛЮ 2»

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

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

1) ;

2) ;

3) ;

4) .

Таким чином, значення залишків у виразах вище співпадають із значеннями в останньому стовпці таблиці 2.6.

Функцію «СУМА ПО МОДУЛЮ 2» ще називають «Виключне АБО», а так само «НЕРІВНОЗНАЧНІСТЬ». Дійсно «1» з'являється в останньому стовпці таблиці 2.6 при неспівпаданні аргументів і. З поняттям «Виключне АБО» дещо складніше. Воно означає, що функція перетворюється на «1» колиабо перший або другий аргумент функції рівні «1», виключаючи ситуацію коли обидва аргументи рівні «1». В цьому випадку диз'юнкцію можна називати «Включне АБО».

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

Насправді, функції «виключне АБО», «НЕРІВНОЗНАЧНІСТЬ» і «СУМА ПО МОДУЛЮ 2» - різні функції, ідентичні тільки у разі двох аргументів. Таблиця 2.7 представляє ці функції для випадку трьох аргументів.

Таблиця 2.7 – Тернарні функції «СУМА ПО МОДУЛЮ 2», «Що виключає АБО» і «НЕРІВНОЗНАЧНІСТЬ»

			Сума по модулю 2	Виключне АБО	Нерівнозначність
0	0	0	0	0	0
0	0	1	1	1	1
0	1	0	1	1	1
0	1	1	0	0	1
1	0	0	1	1	1
1	0	1	0	0	1
1	1	0	0	0	1
1	1	1	1	0	0

Включення функції «СУМА ПО МОДУЛЮ 2»в набір «популярні» викликано її чудовими властивостями. По-перше, при інвертуванні одного з аргументів ця функція також інвертується. По-друге, ця функція показує, коли аргументи не рівні (а при інвертуванні одного з аргументів - коли рівні). По-третє, вона дозволяє проводити кероване інвертування: при нульовому аргументі інший аргумент не міняється, при одиничному ж значенні другий аргумент інвертується. Нарешті, повторне застосування цієї функції повертає до початкового значення аргументу: якщо , то і .

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