Логическое сложение (дизъюнкция)

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

В русском языке операция дизъюнкции выражается союзом «или».
Обозначается:

3. Логическое отрицание (инверсия)
Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.

В русском языке операция инверсии образуется присоединением частицы «не» к высказыванию.
Обозначается:

4. Логическое следование (импликация)
Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).

В русском языке операция импликации выражается оборотом речи «если…, то…».
Обозначается:

5. Логическое равенство (эквивалентность)
Составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

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

Таблицы истинности

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

При построении таблицы истинности целесообразно руководствоваться определенной последовательностью действий.

1. Определить количество строк в таблице. Если количество логических переменных равно n, то количество строк = 2ⁿ.
2. Определить количество столбцов, которое будет равно количеству переменных + количество логических операций.
3. Построить таблицу, заполнить шапку и внести возможные наборы значений исходных логических переменных.
4. Заполнить таблицу истинности по столбцам, выполняя базовые логические операциив необходимой последовательности.

Сложное логическое выражение – логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.
Порядок выполнения логических операций в сложном логическом выражении:

1.инверсия;
2. конъюнкция;
3. дизъюнкция;
4. импликация;
5. эквивалентность.

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