Если в процессе вывода новых дизъюнктов ( резольвент) получают два однолитерных дизъюнкта, образующих контрарную пару, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Мешалкин В.П.
Экспертные системы в химической технологии
Если в процессе вывода новых дизъюнктов ( резольвент) получают два однолитерных дизъюнкта, образующих контрарную пару, то резольвентой этих двух дизъюнктов будет пустой дизъюнкт П, или нулевая резольвента.
