IPB
ЛогинПароль:

> Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

 
 Ответить  Открыть новую тему 
> доказать тождество, "логическое вычитание"?
сообщение
Сообщение #1


Новичок
*

Группа: Пользователи
Сообщений: 39
Пол: Женский
Реальное имя: Наталья

Репутация: -  1  +


Всем привет. Особенно Atos’у. Может кто-нибудь подскажет как решить такую задачу.
Доказать тождество:

((d - a)v(d ~ a)) - ((c-b) ↓ (┐c(+)b))=((a v d)^(d →b)) → ((c ^ d)(c-a))

Во избежание разночтений в обозначениях:
┐ - Инверсия
^ - Конъюнкция
v - Дизъюнкция
→ - Импликация
↓ - Стрелка Пирса
(+) - Сумма по модулю 2
Меня смущает обычный минус (-) в примере, преподша, так и не смогла толком ответить на мой вопрос, обещала посмотреть учебник и молчит (нахватают часов у заочников, а сами предмета толком не знают). Что то проблеяла про «логическое вычитание», но в булевой алгебре такой связки не встречала. Если такое чудо существует, то какая у него таблица истинности и тождественая формула? Пыталась обойти эти скобки, но все равно тождество у меня не сошлось.
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #2


Прогрессор
****

Группа: Пользователи
Сообщений: 602
Пол: Мужской
Реальное имя: Михаил

Репутация: -  9  +


Я никогда не встречался ни с какими минусами в логике... unsure.gif
предположение: может быть, это опечатка, и на самом деле импликация (стрелочк
и не пропечатаны)?
А вообще, на твоём месте я бы не волновался на эту тему: это проблемы преподавателя, пусть сама думает. Не люблю преподов, которые свои задания толком объяснить не могут mad.gif

 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #3


Новичок
*

Группа: Пользователи
Сообщений: 39
Пол: Женский
Реальное имя: Наталья

Репутация: -  1  +


Цитата
Я никогда не встречался ни с какими минусами в логике...
предположение: может быть, это опечатка, и на самом деле импликация

Вот и я так подумала таких примера четыре, так в других наряду с (+) еще и простые плюсы есть.
Не хотелось бы оставлять курсовик на сессию, остальные задания то все сделала.
Кстати на одном из сайтов нашла "логическое вычитание", но применительно к алгебре множеств. И никакого приданого (табл. ист. ) к связке.
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #4


Прогрессор
****

Группа: Пользователи
Сообщений: 602
Пол: Мужской
Реальное имя: Михаил

Репутация: -  9  +


Цитата
так в других наряду с (+) еще и простые плюсы есть
Интересно blink.gif это я вообще не знаю, как объяснить... какой смысл может иметь в логике сложение не по модулю?

Потребуй у преподаватель сменить задание, если объяснить не может
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #5


просто человек
******

Группа: Пользователи
Сообщений: 3 641
Пол: Женский
Реальное имя: Юлия

Репутация: -  55  +


простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется.
Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов...
Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела.


--------------------
Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения!
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #6


Новичок
*

Группа: Пользователи
Сообщений: 39
Пол: Женский
Реальное имя: Наталья

Репутация: -  1  +


Цитата(мисс_граффити @ 13.10.2006 21:57) *

простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется.
Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов...
Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела.

Совершенно с Вами согласна. Это-то и сбивает с толку.
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #7


просто человек
******

Группа: Пользователи
Сообщений: 3 641
Пол: Женский
Реальное имя: Юлия

Репутация: -  55  +


в общем, ничего умнее, чем попробовать построить таблицы истинности для разных функций (то есть подставить вместо минуса другие связки) и посмотреть, при какой получится тождество, в голову не приходит...


--------------------
Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения!
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #8


Новичок
*

Группа: Пользователи
Сообщений: 39
Пол: Женский
Реальное имя: Наталья

Репутация: -  1  +


Цитата(мисс_граффити @ 14.10.2006 19:55) *

в общем, ничего умнее, чем попробовать построить таблицы истинности для разных функций (то есть подставить вместо минуса другие связки) и посмотреть, при какой получится тождество, в голову не приходит...


мисс_граффити, спасибо. yes2.gif
По таблице истинности, если обойти скобки с -, в итоге получаются арифметические выражения, но тождество не сходится.
Я свернула себе голову до того, что сама изобрела связку "логическое вычитание"
a-b это конъюнкция a с инверсией b a^┐b и, соответственно, таблица истинности этой связки: 0010.
Спасибо за внимание, я уже решила оставить эту задачу на сессию, пусть преподша сама объяснит.
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 




- Текстовая версия 22.11.2017 0:42
Хостинг предоставлен компанией "Веб Сервис Центр" при поддержке компании "ДокЛаб"