展开 用真值表法判断公式是否等