离散数学求主析取范式要有过程