展开 如何用真值表证明逻辑等式