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