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