量词布尔公式

量词布尔公式（quantified Boolean formula，QBF），计算机科学技术名词，一个量词布尔公式指形如的表达式。与此相关的判定问题是判定对给定一个量词布尔公式Φ，Φ是否成立的问题，也用QBF表示这一判定问题。