Математическая логика
Cрок выполнения : 5 дней
Вид работы : Контрольная
Дисциплины:
Информатика, Программирование: Программирование.
|
|
Добавлен 17.12.2017 19:45:12
Уникальность:
Доработка:
Подробно: Основы логического программирования . 1. Упростить выражение: Доказать или опровергнуть правила: 3. Проанализировать рассуждение: Петр или переутомился или болен. Если он переутомился, то он раздражителен. Он не раздражается. Следовательно, он болен. 4. Привести к предваренной нормальной форме формулу логики предикатов:
Кратко: Основы логического программирования . 1. Упростить выражение: Доказать или опровергнуть правила: 3. Проанализировать рассуждение: Петр или переутомился или болен. Если он переутомился, то он раздражителен. Он не раздражается. Следовательно, он болен. 4. Привести к предваренной нормальной форме