Boolean minimization of projected sums of products via Boolean relations