西安电子科技大学$1.4.3主范式的性质软件学院【例题】比较命题公式A=-P^（Q→R)的主析取和主合取范式。Z(0,1,3)A←（1）编号的交集为空II(2,4,5,6,7)2）编号的并集为0~2n-1西安电子科技大学 软件学院 【例题】比较命题公式A=¬P∧(Q→R)的主析取和主合取范式。 A ⇔ ⇔ §1.4.3 主范式的性质 ∏( ) 7,6,5,4,2 ∑( ) 3,1,0 （1）编号的交集为空 （2）编号的并集为0~2n-1