Алгебра логики – раздел математики, изучающий высказывания с точки зрения их логических значений (истинности или ложности) и логических операций над ними.
Иногда её называют двоичной логикой или булевой алгеброй по имени английского математика Джорджа Буля.
Для удобства записи, используют обозначение результата через F, а логические высказывания через A (X) и B (Y). Так как возможных вариантов значений всего два, их можно обозначить через 0 (ложь, нет, false, no) и 1 (истина, да, true, yes).
Таблица истинности – табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний.