2.3.1 最简逻辑函数