Логические выражения могут быть простыми и сложными.

Простое логическое выражение состоит из одного высказывания и не содержит логической операции. В простом логическом выражении может быть только два результата – либо «истина», либо «ложь».

Сложное логическое выражение содержит высказывания, объединенные логическими операциями.

В сложных логических выражениях используют логические операции.

Существуют три основные операции над высказываниями: логическое сложение, логическое умножение и отрицание.

НЕ – Логическое отрицание (инверсия)

Операция НЕ применяется к одному аргументу, в качестве которого может быть и простое, и сложное высказывание. Результатом операции НЕ будет «ложь», если исходное выражение истинно и «истина», если исходное выражение ложно.

Для операции отрицания приняты следующие обозначения: НЕ А,  ?А, , not A.

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

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

Применяемые обозначения: А или В, А \/ В, А + В, А or В.

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

И – Логическое умножение (конъюнкция)

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

Применяемые обозначения: А и В, А /\ В, А ? В, А&В, А and В.

Результатом операции И является выражение, которое будет истинным, если истинны оба высказывания.