展开 用真值表判断命题类