選言標準形
【せんげんひょうじゅんけい】
【sengenhyoujunkei】
析取范式