8.1.1 逻辑变量和逻辑函数