1.4 逻辑函数及表示方法