离散数学命题逻辑如果2个表达式具有相同的真值表,那么这2个表达式是等值式吗?就是2个表达式相互之间可以化简