Логика логических операций в информационных науках заключается в том, что это мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий. 1
Некоторые логические операции:
- Конъюнкция (логическое умножение). 13 Ставит в соответствие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны. 1
- Дизъюнкция (логическое сложение). 13 Ставит в соответствие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны. 1
- Инверсия (логическое отрицание). 13 Ставит высказыванию в соответствие новое высказывание, значение которого противоположно исходному. 1
- Импликация (логическое следование). 1 Ставит в соответствие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда из истины следует ложь. 1
- Эквивалентность (логическое равенство). 1 Ставит в соответствие двум высказываниям новое высказывание, которое считается истинным, если оба высказывания либо одновременно истинны, либо одновременно ложны, и ложным во всех остальных случаях. 1
Порядок выполнения логических операций в сложном логическом выражении: 1. Инверсия, 2. Конъюнкция, 3. Дизъюнкция, 4. Импликация, 5. Эквивалентность. 1 Для изменения указанного порядка выполнения логических операций используются скобки. 1