真假值函数运算

truth-functional operation