Yes, you may also understand it as follows: assume you have three states sa,sb,sc that satisfy variables a,b,c, respectively, then a|b|c is satisfied by anyone of the states sa,sb,sc. Hence, if you have a set {s1,s2,s3} then each one of s1,s2,s3 satisfies this set while s1 only satisfies {s1}.