13.8 逻辑函数：从一元到二元