请问一下这道合成题

《唐诗三百首》是一部流传很广的唐诗选集。唐朝（618年~907年）二百八十九年间，是中国诗歌发展的黄金时代，云蒸霞蔚，名家辈出，唐诗数量多达五万余首。孙琴安《唐诗选本六百种提要·自序》指出，“唐诗选本经大量散佚，至今尚存三百余种。当中最流行而家传户晓的，要算《唐诗三百首》。”《唐诗三百首》选诗范围相当广泛，收录了77家诗，共311首，在数量上以杜甫诗最多，有38首、王维诗29首、李白诗27首、李商隐诗22首。它是中小学生接触中国古典诗歌最好的入门书籍。中文名 唐诗三百首 外文名 Three hundred Poems of the Tang Dynasty 作 者蘅塘退士 类 型唐诗选集 收 录 收录了77家诗，共311首 相 关 数量以杜甫诗数多 五言古诗 33首 乐府 46首 七言古诗 28首 七言律诗 50首 五言绝句 29首 七言绝句 51首 唐诗三百首 选入唐代诗人77位

p→(q→p) ??p∨(q→p) 变成 合取析取 ??p∨(?q∨p) 变成 合取析取 ??p∨(p∨?q) 交换律 排序 ??p∨p∨?q 结合律 ?TRUE 是重言式，主合取范式，写成 (?p∨q)∧(p∨?q)∧(p∨q)∧(?p∨?q)