160 .4.3 主析取范式与主合取范式