2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Простой вопрос про логическое выражение
Сообщение28.06.2011, 16:31 


22/06/11
37
Что означает такая запись? (сори за скан)
Изображение
Эквивалентна ли она $not(C \to A \lor B)$ ?

 Профиль  
                  
 
 Re: Простой вопрос про логическое выражение
Сообщение28.06.2011, 16:56 
Заслуженный участник
Аватара пользователя


07/01/10
2015
да

 Профиль  
                  
 
 Re: Простой вопрос про логическое выражение
Сообщение28.06.2011, 18:37 
Заслуженный участник


27/04/09
28128
Вместо плюса может иметься в виду сложение по модулю 2, т. е. исключающее или.

Хотя в таком случае, как правило, вроде бы пишут $A +_2 B$.

 Профиль  
                  
 
 Re: Простой вопрос про логическое выражение
Сообщение28.06.2011, 20:09 


22/06/11
37
исключающее или вроде пишут "плюс в кружочке" )
А если тут "скобки раскрыть", то импликация заменяется на что-то?

 Профиль  
                  
 
 Re: Простой вопрос про логическое выражение
Сообщение28.06.2011, 20:15 
Аватара пользователя


15/08/09
1465
МГУ
Nub123
Да возьмите и составьте таблицу истинности для каждого из выражений

 Профиль  
                  
 
 Re: Простой вопрос про логическое выражение
Сообщение28.06.2011, 20:21 
Заслуженный участник


27/04/09
28128
А можно использовать $A \to B = \neg A \vee B$.

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

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



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

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


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

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