2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Булева алгебра и операция дополнения
Сообщение26.03.2017, 11:18 
Здравствуйте. Прорешиваю задачи по дискретной математике. Столкнулся вот с такой проблемой.
Есть $(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$ ?

 
 
 
 Re: Булева алгебра и операция дополнения
Сообщение26.03.2017, 11:25 
Аватара пользователя
Опечатка, имелось в виду $x \oplus y = (x \wedge Cy) \vee (Cx \wedge y)$.

 
 
 
 Re: Булева алгебра и операция дополнения
Сообщение26.03.2017, 11:28 
Xaositect
Огромное спасибо.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group