2.4.2 主析取范式