Презентация «Решение задач на алгебру логики»
Смотреть слайды в полном размере 
Вы можете ознакомиться с презентацией онлайн, просмотреть текст и слайды к ней, а также, в случае, если она вам подходит - скачать файл для редактирования или печати. Документ содержит 12 слайдов и доступен в формате ppt. Размер файла: 51.25 KB
Pic.1
Решение задач на алгебру логики
Pic.2
Задача 1 В нарушении правил обмена валюты подозреваются четыре работника банка - Антипов (А), Борисов (В), Цветков (С) и Дмитриев (D). Известно, что: 1) Если А нарушил, то и В нарушил правила обмена …
Pic.3
Решение: Чтобы решить эту задачу, необходимо провести процесс формализации условия, сформировать единое логическое выражение и провести его упрощение. Выделим из условия четыре простых высказывания: …
Pic.4
1) A→B; 2) B→C \/ ¬A; 3) ¬D→A¬C; 4) D→A.
Pic.5
Нам известно, что выполняются все 4 высказывания, следовательно, нужно объединить их знаками конъюнкции и найти наборы, при которых получившееся общее высказывание будет истинным. Эти наборы и …
Pic.6
Итак, строим логическое выражение: (A→B)(B→C\/A)(¬D→ A¬C)(D→A).
Pic.7
Теперь будем его упрощать. По алгоритму первым делом избавляемся от операции импликации. Получаем следующее выражение: (¬A\/B)(¬B\/C\/¬A)(D\/A¬C)(¬D\/A).
Pic.8
Раскрываем скобки. Первую перемножаем со второй, а третью с четвёртой. (¬A¬B \/ ¬AC \/ ¬A \/ BC \/ B¬A)(DA \/ A¬C¬D \/ A¬C).
Pic.9
Напомним, что слагаемые, равные нулю по причине того, что в них входит сразу и переменная и её отрицание, мы не записываем. В первой скобке теперь можно применить тождество поглощения, и «съесть» все …
Pic.10
В итоге получаем: (¬A \/ BC)(DA \/ A¬C).
Pic.11
При раскрытии оставшихся скобок три из четырёх слагаемых окажутся равными нулю, а последнее будет выглядеть следующим образом: ABCD. Из этого следует, что все четверо работников банка нарушили …
Pic.12
Ответ: Правила обмена валюты нарушили все.
Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!
