Мат. логика
Cрок выполнения : до 5 дней
Вид работы : Примеры
Статус выполнен
Дисциплины:
Математические: Дискретная математика.
|
|
Добавлен 15.06.2009 18:37:47
Уникальность:
Доработка:
Подробно: 1. Привести формулы к СДНФ и СКНФ. 2. Доказать истинность умозаключения. 3. Посредством изображения областей истинности предикатов, прове¬рить правильность умозаключения.
Кратко: 1. Привести формулы к СДНФ и СКНФ. 2. Доказать истинность умозаключения. 3. Посредством изображения областей истинности предикатов, прове¬рить правильность умозаключения.
Файлы доступны после авторизации