| rdfs:comment
| - En théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées. Par exemple, est une formule booléenne quantifiée et se lit « pour toute valeur booléenne x, il existe une valeur booléenne y et une valeur booléenne z telles que ((x ou z) et y) ». Le problème QBF-SAT (ou QSAT, ou TQBF pour true quantified binary formula, aussi appelé ASAT pour alternating satisfiability problem par Flum et Grohe) est la généralisation du problème SAT aux formules booléennes quantifiées. Le problème QBF-SAT est PSPACE-complet. (fr)
- 計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在量化子や全称量化子を用いて式の先頭で量化(束縛)された限定命題論理の式である。自由変数が存在しないため、そのような式は真あるいは偽と同値である。もし真と同値ならば、その式は言語TQBFの要素である。この言語はQSAT(量化されたSAT, Quantified SAT)としても知られている。 (ja)
- In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables). If such a formula evaluates to true, then that formula is in the language TQBF. It is also known as QSAT (Quantified SAT). (en)
- Na teoria da complexidade computacional, a linguagem TBQF é uma linguagem formal que consiste na quantificação verdadeira das fórmulas booleanas. Uma fórmula booleana totalmente quantificada é uma fórmula em quantificadores lógicos proposicional, onde cada variável é quantificada (ou vinculada), usando o quantificador universal ou o existencial no início da sentença. Tal fórmula é equivalente a verdadeiro ou falso (já que não há variáveis livres). Se a fórmula é avaliada como verdadeira, então ela está na linguagem TBQF. É também conhecida como QSAT (SAT quantificado). (pt)
- Em teoria da complexidade computacional, uma linguagem TQBF é uma linguagem formal consistindo de fórmulas booleanas completamente quantificadas. Uma fórmula booleana (completamente) quantificada é uma fórmula em onde cada variável é quantificada (ou limitada), usando tanto quantificadores existenciais quanto universais no início da sentença. Tal fórmula é equivalente a tanto verdadeiro ou falso (desde que não existam variáveis livres). Se tal fórmula é avaliada como verdadeira, então esta fórmula é uma linguagem TQBF. Também conhecida como QSAT (Quantified SAT). (pt)
- Das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln ist eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es gehört zur Komplexitätstheorie und wird oft nur kurz QBF oder QSAT genannt. Dieses Entscheidungsproblem untersucht, ob eine aussagenlogische Formel, die mit Quantoren versehen ist, erfüllbar oder wahr ist. QBF ist das kanonische PSPACE-vollständige Problem (also das klassische Beispiel eines PSPACE-vollständigen Problems). (de)
- Una fórmula booleana cuantificada verdadera es una fórmula de Boole que contiene cuantificadores, en la que además toda variable está ligada a un cuantificador, de tal manera que la fórmula completa no tienen variables libres por una fórmula de la forma:
* Datos: Q1350285 (es)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)