Логическое высказывание — это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно (1) или ложно (0).
Алгебра логики (булева алгебра) — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания.
Логическая функция — это правило преобразования входных логических значений в выходные. Логическая функция задаётся таблицей истинности.