展开 用逻辑状态表验证下列等式