7.2 逻辑等式