Quantifizierte boolesche Formel