5.9.3 相交与简化