Сучасний етап промислового розвитку характеризується тим, що розробники систем автоматики і обчислювальної техніки прагнуть використовувати функціональні модулі, які виконують певні схемні завдання: логічні перетворення, зберігання інформації і т.д. Конкретний вид електричної схеми, використаної для реалізації заданої логічної функції, як правило, не має істотного значення. Технічний пристрій, що реалізує логічну функцію, може розглядатися просто каклогіческій елемент. внутрішня структура якого не конкретизується. На принципових і функціональних схемах логічний елемент АБО зображується прямокутником з одиницею в лівому верхньому кутку.
Логічний елемент АБО призначений для "обчислення" значення логічного складання. Робота цього логічного елемента еквівалентна перевірці складеного умови зі службовим словом "або". Алгоритм роботи логічного елемента "або" записується в такий спосіб: "Якщо А = 1 або В = 1, то f (А, В) = 1, інакше f (А, В) = 0". Логічний елемент І призначений для "обчислення" значення логічного множення. Робота цього логічного елемента еквівалентна перевірці складеного умови зі службовим словом "і". Алгоритм роботи логічного елемента "і" записується в такий спосіб: "Якщо А = 1 і В = 1, то f (А, В) = 1, інакше f (А, В) = 0". Зображення логічних елементів І на функціональних і принципових схемах виглядає так:
Логічні елементи НЕ зображуються з гуртком, який називається індикатором рівня сигналу.
Отже, нам відомі три основних логічних елемента І, АБО, НЕ. Сигнали, що виробляються одним логічним елементом, можна подавати на вхід іншого елемента - це дає можливість утворювати ланцюжки з окремих логічних елементів.
наприклад:
Кожну таку ланцюжок називають логічним пристроєм, а відповідну схему - функціональною схемою. Функціональну схему, яку повністю можна описати таблицею істинності, називають комбінаційної схемою. Комбінаційна схема - це схема, в якій значення вхідних змінних в поточний момент часу повністю визначають значення вихідних змінних. Комбінаційні схеми будуються з елементарних логічних елементів І, АБО, НЕ, і більш складних елементів І-НЕ, АБО-НЕ і ін. З'єднуючи їх так, як це випливає з логічної функції. Розглянемо елементи І-НЕ і АБО-НЕ:
Логічна функція І-НЕ, яка представляє собою заперечення логічного множення, називаетсяопераціей Шеффера і коротко може бути записана в наступному вигляді:
Логічна функція АБО-НЕ. тобто заперечення логічного додавання, носить назву «стрілка Пірса» і позначається так:
Другий закон показує, що заперечення логічного складання рівносильно твору заперечень доданків:
Закони де Моргана зведені в таблицю законів алгебри логіки.