Определение значения логического высказывания в информационных технологиях осуществляется с помощью алгебры логики — математического аппарата, который определяет правила записи, упрощения и преобразования высказываний, а также вычисления их значений. 24

В алгебре логики высказывания обозначают буквами и называют логическими переменными. 4 Если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно — нулем (А = 0). 45

Составные логические высказывания строятся из простых с помощью логических связок — логических операций, таких как «НЕ», «И», «ИЛИ». 2

При преобразовании или вычислении значения логического выражения логические операции выполняются в соответствии с их приоритетом. 1 Операции одного приоритета выполняются в порядке их следования, слева направо. 1 Скобки меняют порядок выполнения операций. 1

Любую логическую функцию можно задать с помощью таблицы истинности, которая показывает, чему равно значение логического выражения при всех возможных комбинациях значений исходных переменных. 2