![]() КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Метод насыщения уровняМетод насыщения уровня состоит в вычислении всех резольвент всех пар дизъюнктов из множества дизъюнктов
Проиллюстрируем рассмотренный метод на примере множества дизъюнктов
2. 3. 4. _________________________
6. 7. 8. 9. 10. 11. 12. ___________________________
14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27.
28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. ð (5,12) Этот пример наглядно демонстрирует, что при использования метода насыщения уровня генерируется много повторяющихся дизъюнктов, а также дизъюнктов, являющихся тавтологиями. Так как тавтология всегда истинна, то вычеркивая ее из невыполнимого множества дизъюнктов, мы сохраняем невыполнимость множества дизъюнктов. Для сокращения избыточности могут использоваться различные стратегии, например, стратегия вычеркивания.
Дата добавления: 2015-06-27; Просмотров: 1792; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |