Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Получение следствий из данных посылок



Получение следствий из данных посылок можно осуществить, получив СКНФ данных посылок, тогда все возможные сочетания элементарных конъюнкций и будут всевозможными следствиями из данных посылок. Например:

Следствия данных посылок:

Нужно получить СКНФ и перебрать все возможные комбинации конъюнкций (в данном случае у нас, их 7), т.е. получается булеан от членов СКНФ без одного элемента (пустого множества).





Дата публикования: 2015-02-18; Прочитано: 298 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...