用逻辑公式来简化考题