Логическое выражение в информатике, словно формула в алгебре, передает какое-либо высказывание.

В логическое выражение могут входить константы (0 и 1), переменные, знаки, скобки.

У каждого выражения есть однозначные приоритеты по выполнению операций (как в математике, где, например, умножение приоритетнее, чем вычитание):

1. Скобки - операции в скобках всегда выполняются первыми

2. Отрицание

3. Конъюнкция

4. Дизъюнкция (простая и строгая)

5. Эквиваленция и импликация