主析取范式的求法(优质参照)