2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Булева алгебра и операция дополнения
Сообщение26.03.2017, 11:18 


04/07/15
149
Здравствуйте. Прорешиваю задачи по дискретной математике. Столкнулся вот с такой проблемой.
Есть $(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 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
 
 Re: Булева алгебра и операция дополнения
Сообщение26.03.2017, 11:28 


04/07/15
149
Xaositect
Огромное спасибо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group