論理積探索
【ろんりせきたんさく】
【ronrisekitansaku】
逻辑乘检索