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

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

• AND («И», конъюнкция). 2 Возвращает true, если оба выхода равны true. 2
• OR («ИЛИ», дизъюнкция). 2 Возвращает true, если хотя бы один из выходов равен true. 2
• NOT («НЕ», отрицание, инверсия). 2 Инвертирует значение входа: если вход был true, возвращает false, и наоборот. 2
• ID («Тождественность»). 2 Возвращает входное значение без изменений: true остаётся true, а false — false. 2
• XOR («Исключающее ИЛИ»). 2 Возвращает true, если только один из выходов был true. 2
• IF, THEN («если…, то…», импликация). 2 Определяет отношения между посылкой и следствием: возвращает следствие true, если посылка true. 2 Если посылка имеет значение false, то следствие может быть и false, и true. 2

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

Также существует суперпозиция функций — метод, который позволяет создавать новые логические функции путём объединения (вложения) двух или более простых логических функций. 3