试化简逻辑式: