論理和正規形
【ろんりわせいきけい】
【ronriwaseikikei】
析取范式