Элементы математической логики. Логические операции над высказываниями. Решение задач

Автор: Пользователь скрыл имя, 17 Декабря 2011 в 16:18, реферат

Краткое описание

Логика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний (утверждений). Логика изучает методы доказательств и опровержений.

Файлы: 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.

Значит, нарушитель скрылся на автомобиле «Рено» черного  цвета. Ответ. РЕНО ЧЕРНЫЙ.

Информация о работе Элементы математической логики. Логические операции над высказываниями. Решение задач