То, что записано, можно переформулировать: "или только C, или только B, или только A";
Можно для наглядности представить в виде диаграммы.
Получим, что надо исключить из 
три "лепестка" попарных пересечений. Сам лепесток можно найти как 
;
В итоге получаем формулу: 
; Легко проверить, что это и есть исходная формула, если использовать соотношение 
