Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

51 Пример 10.1. Для двух дизъюнктов C 1 и C 2 найти резольвенту. r q p r p q C p q C p r 2 1      , : : В данном примере r q  – резольвента. Пример 10.2 Для двух дизъюнктов C 1 и C 2 найти резольвенту. p r s p q r q s C q s C p q r 2 1         , : : В данном примере p r s   – резольвента. Пример 10.3. Для двух дизъюнктов C 1 и C 2 найти резольвенту. q p q p C p C p q 2 1 , : :   В данном примере q – резольвента. Пример 10.4. Для двух дизъюнктов C 1 и C 2 найти резольвенту. C p r C p q 2 1   : : В данном примере резольвенты не существует.