析取范式与合取范式