主析取范式快速方法