Математическая модель логических операций в компьютерных программах основана на алгебре логики. 35 Это раздел математики, который изучает логические переменные, их логические значения (истинность или ложность) и логические операции над ними. 3

Некоторые логические операции, которые используются в компьютерных программах:

• Логическое отрицание (инверсия). 2 Применяется к одному аргументу, в качестве которого может быть и простое, и сложное логическое выражение. 2 Если исходное выражение истинно, то результат его отрицания будет ложным, и наоборот. 2
• Логическое умножение (конъюнкция). 2 Выполняет функцию пересечения двух высказываний (аргументов), в качестве которых может быть и простое, и сложное логическое выражение. 2 Результатом операции И является выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных выражения. 2
• Логическое сложение (дизъюнкция). 2 Результат операции ИЛИ будет равен 1, если А или В равны единице. 2

Работу логических элементов описывают с помощью таблиц истинности. 3 Это табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний. 3