|
Денисов, А. С. Выполнимость ярких формул [Текст] / А. С. Денисов // Український математичний журнал. – 2007. – 59, № 10. – 1432-1435.
В настоящей работе предпринята попытка строгого изложения разрешающей процедуры для проблемы выполнимости кванторных формул, матрицы которых содержат помимо логической связки отрицания как конъюнкцию, так и дизъюнкцию, на примере ярких формул |