Логика задача
Cрок выполнения : укажите минимальные сроки
Вид работы : Контрольная
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 08.06.2017 15:43:27
Уникальность:
Доработка:
Подробно: Логика задача Записать следующее предложение в виде формул логики предикатов и преобразовать их в клаузальную форму: В Москве живет женщина, имеющая брата в Петербурге, тогда и только тогда, когда в Петербурге живет мужчина, имеющий сестру в Москве.
Кратко: Логика задача Записать следующее предложение в виде формул логики предикатов и преобразовать их в клаузальную форму: В Москве живет женщина, имеющая брата в Петербурге, тогда и только тогда, когда в Петербурге живет мужчина, имеющий сестру в Москве....