Поделиться
Раздаточный материал _Логические операации и таблицы истинности_.pdf
|
Название ЛО |
Обозначение ЛО |
Определение ЛО |
|
Название ЛО |
Обозначение ЛО |
Определение ЛО |
|
ИНВЕРСИЯ (логическое «НЕ») «неверно, что…» |
НЕ А Ø А
А |
Это логическая операция, которая высказыванию ставит в соответсвие новое высказывание, значение которого противоположно исходному. |
ИНВЕРСИЯ (логическое «НЕ») «неверно, что…» |
НЕ А Ø А
А |
Это логическая операция, которая высказыванию ставит в соответсвие новое высказывание, значение которого противоположно исходному. |
|
|
КОНЪЮНКЦИЯ (Лочическое «И», логическое умножение) |
А и В А ^ В А ° В А & В |
Это логическая операция, которая ставит в соответсвие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба высказывания истинны. |
КОНЪЮНКЦИЯ (Лочическое «И», логическое умножение) |
А и В А ^ В А ° В А & В |
Это логическая операция, которая ставит в соответсвие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба высказывания истинны. |
|
|
ДИЗЪЮНКЦИЯ (логическое «ИЛИ», логическое сложение) |
А ИЛИ В А Ú В A | В А + И |
Это логическая операция, которая ставит в соответсвие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда оба высказывания ложны. |
ДИЗЪЮНКЦИЯ (логическое «ИЛИ», логическое сложение) |
А ИЛИ В А Ú В A | В А + И |
Это логическая операция, которая ставит в соответсвие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда оба высказывания ложны. |
|
|
СТРОГАЯ ДЬЗЪЮНКЦИЯ (исключающее «или», исключающая дизъюнкция) «Либо…, либо…» |
А ⊕ В А xor В |
Это логическая операция, ставящая в соответсвие двум высказываниям новое, являющееся истинным тогда и только тогда, когда только одно из высказываний истинно. |
СТРОГАЯ ДЬЗЪЮНКЦИЯ (исключающее «или», исключающая дизъюнкция) «Либо…, либо…» |
А ⊕ В А xor В |
Это логическая операция, ставящая в соответсвие двум высказываниям новое, являющееся истинным тогда и только тогда, когда только одно из высказываний истинно. |
|
|
ИМПЛИКАЦИЯ (логическое следование) «Если…, то…» |
А → В |
Это логическая операция, ставящая в соответсвие двум высказываниям новое, являющееся ложным тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) – ложно. |
ИМПЛИКАЦИЯ (логическое следование) «Если…, то…» |
А → В |
Это логическая операция, ставящая в соответсвие двум высказываниям новое, являющееся ложным тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) – ложно. |
|
|
ЭКВИВАЛЕНЦИЯ (Эквивалентность, ранозначность) «Тогда и только тогда, когда…» |
А ↔ В А ≡ В |
Это логическая операция, котопая ставит в соответсвие двум высказываниям новое, являющееся истинным, когда оба высказывания истинны или оба исходных высказывания ложны. |
ЭКВИВАЛЕНЦИЯ (Эквивалентность, ранозначность) «Тогда и только тогда, когда…» |
А ↔ В А ≡ В |
Это логическая операция, котопая ставит в соответсвие двум высказываниям новое, являющееся истинным, когда оба высказывания истинны или оба исходных высказывания ложны. |
Логические операции
|
А |
В |
Ø А |
Ø В |
А ^ В |
А Ú В |
А⊕ В |
А → В |
А ↔ В |
|
А |
В |
Ø А |
Ø В |
А ^ В |
А Ú В |
А⊕ В |
А → В |
А ↔ В |
|
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
|
|
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
|
|
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
|
|
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
Таблицы истинности для логических операций
Логическое выражение – это выражение, содержащее логические переменные, знаки логических операций и скобки.
Приоритет логических операций: действия вскобках; инверсия; конъюнкция; дизъюнкция, строгая дизъюнкция; импликация; эквиваленция;
Таблица истинности – это таблица, показывающая, какие значения принимает выражение при всех наборах значений входящих в него переменных.
Количество строк таблицы истинности можно посчитать по формуле:
где m – количество строк в таблице, а n – количество переменных в логическом выражении.
Логические операции
Таблицы истинности для логических операций
Логическое выражение – это выражение, содержащее логические переменные, знаки логических операций и скобки.
Приоритет логических операций: действия вскобках; инверсия; конъюнкция; дизъюнкция, строгая дизъюнкция; импликация; эквиваленция;
Таблица истинности – это таблица, показывающая, какие значения принимает выражение при всех наборах значений входящих в него переменных.
Количество строк таблицы истинности можно посчитать по формуле:
где m – количество строк в таблице, а n – количество переменных в логическом выражении.
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.
