Булева алгебра и операция дополнения

[Orkimed]

Здравствуйте. Прорешиваю задачи по дискретной математике. Столкнулся вот с такой проблемой.
Есть $(A,\vee,\wedge,C,0,1)$ - булева алгебра. Определены операции $x \oplus y = (x\wedge Cy)\vee(C\wedge xy), \ xy=x \wedge y$ Нужно доказать, что в множестве $(A,\oplus,\cdot,1)$ выполняется аксиома идемпотенции.
$(x \oplus y)(x \oplus y) = x \oplus y$. Переписываю согласно определенным операциям
$((x\wedge Cy)\vee(C\wedge xy))((x\wedge Cy)\vee(C\wedge xy))$ И тут встает вопрос. Что такое $C\wedge xy$, C - операция дополнения. Как операция дополнения может стоять перед $\wedge$ ?

[Xaositect]

Опечатка, имелось в виду $x \oplus y = (x \wedge Cy) \vee (Cx \wedge y)$.

[Orkimed]

Xaositect
Огромное спасибо.