Изменения

Перейти к: навигация, поиск

PS-полнота языка верных булевых формул с кванторами (TQBF)

4 байта добавлено, 14:43, 25 июня 2012
м
Нет описания правки
}}
{{Определение
|definition=<tex>Quantified Boolean Formula</tex> — это пропозициональная формула с кванторами. Кванторы для каждой переменной записываются в начале выражения.
}}
{{Лемма
Kasetkin
68
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/26905»

Навигация