Problém kvantifikovaného Booleovského vzorce