4.1 布尔代数和逻辑运算