命题的真假判断及逻辑表达式