布尔函数
例如，考虑以下电路最小化问题：给定一个能够计算布尔函数 formula_32 的电路 formula_33 和一个整数 formula_34，确定是否存在一个最多包含formula_34个门的电路formula_36可以计算formula_32。一台2次交替图灵机从一个存在状态出发可以在多项式时间内解决这个问题（在存在状态通过猜测电路 formula_36 的 formula_34 个门，此后进入全称状态，猜测输入并检查输出是否和 formula_33 相同）。