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

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

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

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