Здравствуйте. Прорешиваю задачи по дискретной математике. Столкнулся вот с такой проблемой.
Есть

- булева алгебра. Определены операции

Нужно доказать, что в множестве

выполняется аксиома идемпотенции.

. Переписываю согласно определенным операциям

И тут встает вопрос. Что такое

, C - операция дополнения. Как операция дополнения может стоять перед

?