主析取范式求法