[单选题,6.6分] (p∨(q∧r))→(p∧q∧r)的主析取范式是:( )
A.∑(0,1)
B.∑(0,1,7)
C.∑(0,7)
D.∑(1,7)
出自:河南理工大学-计算机科学与技术-离散数学