QBF

In computational complexity theory, the quantified Boolean formula problem (QBF) is a generalization of the Boolean satisfiability problem in which both existential quantifiers and universal quantifiers can be applied to each variable. Put another way, it asks whether a first-order logic sentential form over a set of Boolean variables is true or false. For example, the following is an instance of QBF:
See more at Wikipedia.org...

In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene aussagenlogische Formel erfüllbar oder wahr ist. Es ist das kanonische PSPACE-vollständige Problem.
Mehr unter Wikipedia.org...

Codici QBF - codice aeroportuale IATA dell'aeroporto civile di Vail Van Service Off Line Point (Colorado) (Stati Uniti)
Per saperne di più visita Wikipedia.org...

QUERY BY FORM. QBF

qbf
query by forms (db)