172 .1　真值表和逻辑符号-10.1.1　命题变元