Элементы математической логики. Логические операции над высказываниями. Решение задач
Реферат, 17 Декабря 2011, автор: пользователь скрыл имя
Краткое описание
Логика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний (утверждений). Логика изучает методы доказательств и опровержений.
Файлы: 1 файл
Элементы математической логики.docx
— 25.34 Кб (Скачать)То есть выражение преобразуется в следующее:
(А ˄ С ˄ ¬ A) ˅ (A ˄ D ˄ ¬ A) ˅ (В ˄ С ˄ ¬ A) ˅ (В ˄ D ˄ ¬ A) ˅ (А ˄ С ˄ Е) ˅ (A ˄ D ˄ Е) ˅ (B ˄ С ˄ Е) ˅ (B ˄ D ˄ D) = 0 ˅ 0 ˅ (В ˄ С ˄ ¬ A) ˅ 0 ˅ 0 ˅ 0 ˅ 0 ˅ 0 = 1.
Следовательно:
В ˄ С ˄ ¬ A =1.
Значит, нарушитель скрылся на автомобиле «Рено» черного цвета. Ответ. РЕНО ЧЕРНЫЙ.