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

Творець алгебри логіки – англійський математик Джордж Буль. Всякі висловлювання за допомогою символів і змінних формалізуються, тобто замінюються логічною формулою. Логічний елемент базує електросхему, що реалізовує ту чи іншу функцію ЕОМ.

Схема «АБО» здійснює диз’юнкцію (від лат. disjunctio – роз’єднання, розрізнення) двох або більшої кількості логічних значень. Сенс операції максимально передається союзом «або». Якщо хоча б на одному вході діз’юнктора стоїть одиниця, то й на виході автоматично буде одиниця. Нуль буде тільки тоді, коли абсолютно всі входи нульові. На малюнку «АБО» позначається прямокутником з цифрою 1 всередині.

Схема «НЕ» реалізує заперечення. Інвертор звертає значення на вході в протилежне: 0 в 1, 1 в 0.
Умовно позначається прямокутником з порожнім кружечком на бічній стороні.

Базові логічні елементи можуть поєднуватися між собою, утворюючи нові структури. Так, схема «АБО-НЕ» реалізує спочатку диз’юнкцію, потім інверсію результату. Тобто відразу заперечується вихід схеми «АБО». Позначити діз’юнктор-інвертор потрібно прямокутником з одиницею всередині і порожнім гуртком на вихідній стороні.

Для опису операторного «меню» використовуються таблиці істинності. Вони розглядають всі можливі значення змінних на вході і показують результат. Для складання таблиці істинності достатньо пробігтися по всіх комбінаціям вхідних даних і записати значення виконаної функції, грунтуючись на визначенні операції. Так, таблиця істинності схеми «НЕ» дуже проста: в шапці записуються «A» і «не A». Далі підуть два рядки: 0? 1, 1? 0. У таблиці логічної схеми «АБО» потрібно мати на увазі, що нуль на виході виходить тільки при всіх нулях на вході, а входів може бути два, три і більше.