Читайте также:
|
|
Получение следствий из данных посылок можно осуществить, получив СКНФ данных посылок, тогда все возможные сочетания элементарных конъюнкций и будут всевозможными следствиями из данных посылок. Например:
Следствия данных посылок:
Нужно получить СКНФ и перебрать все возможные комбинации конъюнкций (в данном случае у нас, их 7), т.е. получается булеан от членов СКНФ без одного элемента (пустого множества).
Дата добавления: 2015-07-11; просмотров: 152 | Нарушение авторских прав