试证明逻辑等式: