Design decoupling method based on para-complete logics