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