Базовые логические операции
| Наименование операции | Форма записи | Определение | Таблицы истинности | ||
| КОНЪЮНКЦИЯ(логическое умножение) | A ∧ B | Новое выражение, которое будет истинным только тогда, когда истинны оба исходных простых выражения. Определяет соединение логических выражений с помощью союза И | A | B | A∧B |
| ДИЗЪЮНКЦИЯ(логическое сложение) | A ∨ B | Новое выражение, которое будет истинным только тогда, когда истинно хотя бы одно из исходных выражений. Определяет различие двух логических выражений с помощью союза ИЛИ | A | B | A∨B |
| ИМПЛИКАЦИЯ(логическое следование) | A→B | Связывает два логических выражения, из которых первое является условием (А), а второе (В)– следствием. Результатом является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Выражается словами ЕСЛИ .., ТО … | A | B | A→B |
| ЭКВИВАЛЕНТНОСТЬ (логическая равнозначность) | A↔B | Результатом является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны | A | B | A↔B |
| ИНВЕРСИЯ(логическое отрицание) | A | К исходному выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО, обозначается знаком ˉ или | A | A |
Дата добавления: 2015-08-08; просмотров: 577;