4.1 逻辑值函数