2.4.3 主合取范式