离散数学中的命题表达式计算