|
Хотелось бы задать два вопроса: 1)Необходимо ли при доказательстве противоречивости множества дизъюнктов методом резолюции использовать все дизъюнкты из множества? Просто ситуация позволяет вывести 0, используя не все 2)Можно ли например имея дизъюнкты D1 и D2, методом резолюции получить D3=res(D1,D2) и при этом не сокращать ничего внутри D1 и D2 задан 14 Май '20 11:56 
meisst |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
14 Май '20 11:56
показан
336 раз
обновлен
14 Май '20 14:39
Связанные исследования
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.