Предположим, у нас есть уравнение A xor B = C. Можно ли это представить с помощью следующей графической модели?
C
^ ^
/ \
A B
Я думаю, что может, потому что эта графическая модель предполагает:
(1) А не зависит от В и
(2) Учитывая C, A и B не являются независимыми, потому что, если мы знаем C и один из A или B, мы можем найти другой. Обе эти точки верны для операции xor.
Однако я запутался, потому что если операция xor может быть представлена этой графической моделью, я не смогу понять эффект объяснения, который присутствует в любой графической модели с v-структурой. Как получается, что если мы знаем C, знание A объясняет B? Я не понял, как это имеет смысл.