Нет, вообще речь идет о методе резолюции. Дано множество дизъюнктов Прежде чем применять правило резолюции к паре дизъюнктов, нужно если есть возможность провести склейку предикатов в каждом дизъюнкте. Выше я и привел примеры предикатов, вот меня и интересует это правило, а то в интернете да и в Гугле что то наткнулся на примеры склейки всего двух предикатов, а если их больше?
-- 06.04.2016, 21:53 --(Оффтоп)
Мало чего понял, но вопрос возник. А конструкция с
называется конъюнкт?
КНФ-конъюнктивная нормальная форма
-- 06.04.2016, 22:36 --Вот более подробный приведу пример
Предположим даны дизъюнкты:
Т.к как есть две контрарные литеры , мы можешь применить правило резолюции, но также в дизъюнкте
имеются две одинаковые литеры
P. Поэтому их можно склеить.
А теперь представит что дизъюнкт
имеет следующую форму (термы в скобках писать не буду)
Т.е вообще говоря имеется несколько одинаковых литер, больше двух. Тогда вот здесь какое правило склейки, ну т.е то что я писал выше