布尔函数
序列formula_3的值因此还唯一的表示一个布尔函数。