离散数学自学笔记命题公式及其真值表