Логические выражения в информатике — это конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». 4

Используются логические выражения:

• В процессе разработки и оптимизации программ. 1 Позволяют задавать условия, по которым выполняются определённые действия. 1
• Для выражения и интерпретации условных ситуаций, принятия решений и построения сложных алгоритмов. 1
• В концепциях программирования. 3 Например, для создания условных конструкций, циклов и других элементов управления потоком выполнения программы. 1
• В булевой алгебре, цифровой логике и дизайне. 3

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