展开 怎么用真值表证明逻辑等式