RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

Зап. научн. сем. ЛОМИ, 1976, том 60, страницы 197–206 (Mi znsl2079)

Эта публикация цитируется в 1 статье

О распознавании тавтологичности пропозициональных формул

П. Ю. Суворов


Аннотация: В работе описан формальный язык, предложения которого выражают (в некотором смысле) свойства пропозициональных формул.
Для некоторого подмножества предложений этого языка доказано, что каждое из них определяет класс пропозициональных формул, на котором возможно распознавание тавтологичности за время, полиномиально зависящее от длины формулы. Библ. 3 назв.

УДК: 51.01, 518.5


 Англоязычная версия: Journal of Soviet Mathematics, 1980, 14:5, 1556–1562

Реферативные базы данных:


© МИАН, 2024