То, что записано, можно переформулировать: "или только C, или только B, или только A";

Можно для наглядности представить в виде диаграммы.

Получим, что надо исключить из три "лепестка" попарных пересечений. Сам лепесток можно найти как ;

В итоге получаем формулу: ; Легко проверить, что это и есть исходная формула, если использовать соотношение