逻辑函数的表达形式