离散数学析取范式与合取范式