Geef het QBF probleem (inclusief een voorbeeld):