То, что записано, можно переформулировать: "или только C, или только B, или только A";
Можно для наглядности представить в виде диаграммы.
Получим, что надо исключить из три "лепестка" попарных пересечений. Сам лепесток можно найти как ;
В итоге получаем формулу: ; Легко проверить, что это и есть исходная формула, если использовать соотношение
То, что записано, можно переформулировать: "или только C, или только B, или только A";
Можно для наглядности представить в виде диаграммы.
Получим, что надо исключить из
три "лепестка" попарных пересечений. Сам лепесток можно найти как
;
В итоге получаем формулу:
; Легко проверить, что это и есть исходная формула, если использовать соотношение ![\sf A\;\wedge \stackrel{-\;}{A\;}\; =\varnothing](/tpl/images/1081/2424/be506.png)