No, W does not have to be in the group. You can have T or F without W, but based on your wording, both T and F would mean that W has to be out ("if W, then T OR F").