論理積正規形
【ろんりせきせいきけい】
【ronrisekiseikikei】
合取范式