Of course, it's a basic principle. You have to be sure that the statement in (1) or in (2) or in (1)(2) combined could lead to either a Y or an N answer to the question asked, then you could think it invalid. If they could ONLY lead to a Y or ONLY to an N, they are valid.