Хотелось бы задать два вопроса:

1)Необходимо ли при доказательстве противоречивости множества дизъюнктов методом резолюции использовать все дизъюнкты из множества? Просто ситуация позволяет вывести 0, используя не все

2)Можно ли например имея дизъюнкты D1 и D2, методом резолюции получить D3=res(D1,D2) и при этом не сокращать ничего внутри D1 и D2

задан 14 Май 11:56

изменен 14 Май 14:39

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×883
×408

задан
14 Май 11:56

показан
46 раз

обновлен
14 Май 14:39

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru