The facets of the set packing polytope A logical interpretation