全称-存在-冠頭標準形