Правда что Х это все события которые являются следствиями события АВ и не являются следствиями события А\АВ ?
Идея Ваша наверняка правильная, но формулировка неверна. Правильная такая: X должно быть следствием AB и не должно пересекаться (т.е. должно быть несовместно) с A\AB.