布尔函数
假如我们还有状态的布尔函数表示formula_32的话我们可以定义指令的语义：