离散数学中的主析取范式,及其应用!