2.4.4 主析取范式与主合取范式的意义