pdnf and pcnf using equivalence law