доказать тождество, "логическое вычитание"? |
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
доказать тождество, "логическое вычитание"? |
Madam |
11.10.2006 12:10
Сообщение
#1
|
Новичок Группа: Пользователи Сообщений: 39 Пол: Женский Реальное имя: Наталья Репутация: 1 |
Всем привет. Особенно Atos’у. Может кто-нибудь подскажет как решить такую задачу.
Доказать тождество: ((d - a)v(d ~ a)) - ((c-b) ↓ (┐c(+)b))=((a v d)^(d →b)) → ((c ^ d)(c-a)) Во избежание разночтений в обозначениях: ┐ - Инверсия ^ - Конъюнкция v - Дизъюнкция → - Импликация ↓ - Стрелка Пирса (+) - Сумма по модулю 2 Меня смущает обычный минус (-) в примере, преподша, так и не смогла толком ответить на мой вопрос, обещала посмотреть учебник и молчит (нахватают часов у заочников, а сами предмета толком не знают). Что то проблеяла про «логическое вычитание», но в булевой алгебре такой связки не встречала. Если такое чудо существует, то какая у него таблица истинности и тождественая формула? Пыталась обойти эти скобки, но все равно тождество у меня не сошлось. |
Atos |
11.10.2006 12:21
Сообщение
#2
|
Прогрессор Группа: Модераторы Сообщений: 602 Пол: Мужской Реальное имя: Михаил Репутация: 9 |
Я никогда не встречался ни с какими минусами в логике...
предположение: может быть, это опечатка, и на самом деле импликация (стрелочк и не пропечатаны)? А вообще, на твоём месте я бы не волновался на эту тему: это проблемы преподавателя, пусть сама думает. Не люблю преподов, которые свои задания толком объяснить не могут |
Madam |
11.10.2006 12:26
Сообщение
#3
|
Новичок Группа: Пользователи Сообщений: 39 Пол: Женский Реальное имя: Наталья Репутация: 1 |
Цитата Я никогда не встречался ни с какими минусами в логике... предположение: может быть, это опечатка, и на самом деле импликация Вот и я так подумала таких примера четыре, так в других наряду с (+) еще и простые плюсы есть. Не хотелось бы оставлять курсовик на сессию, остальные задания то все сделала. Кстати на одном из сайтов нашла "логическое вычитание", но применительно к алгебре множеств. И никакого приданого (табл. ист. ) к связке. |
Atos |
11.10.2006 12:37
Сообщение
#4
|
Прогрессор Группа: Модераторы Сообщений: 602 Пол: Мужской Реальное имя: Михаил Репутация: 9 |
Цитата так в других наряду с (+) еще и простые плюсы есть Интересно это я вообще не знаю, как объяснить... какой смысл может иметь в логике сложение не по модулю?Потребуй у преподаватель сменить задание, если объяснить не может |
мисс_граффити |
13.10.2006 18:57
Сообщение
#5
|
просто человек Группа: Модераторы Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется.
Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов... Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела. -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
Madam |
14.10.2006 10:37
Сообщение
#6
|
Новичок Группа: Пользователи Сообщений: 39 Пол: Женский Реальное имя: Наталья Репутация: 1 |
простой плюс - это логическое сложение, оно же "или", оно же дизъюнкция. Очень часто используется. Смущает, что одно действие в одном задании обозначено по-разному. Обычно выбирают все же один из этих способов... Логическим вычитанием иногда называют функцию xor... Но чтобы минусом обозначали - ни разу не видела. Совершенно с Вами согласна. Это-то и сбивает с толку. |
мисс_граффити |
14.10.2006 16:55
Сообщение
#7
|
просто человек Группа: Модераторы Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
в общем, ничего умнее, чем попробовать построить таблицы истинности для разных функций (то есть подставить вместо минуса другие связки) и посмотреть, при какой получится тождество, в голову не приходит...
-------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
Madam |
15.10.2006 6:51
Сообщение
#8
|
Новичок Группа: Пользователи Сообщений: 39 Пол: Женский Реальное имя: Наталья Репутация: 1 |
в общем, ничего умнее, чем попробовать построить таблицы истинности для разных функций (то есть подставить вместо минуса другие связки) и посмотреть, при какой получится тождество, в голову не приходит... мисс_граффити, спасибо. По таблице истинности, если обойти скобки с -, в итоге получаются арифметические выражения, но тождество не сходится. Я свернула себе голову до того, что сама изобрела связку "логическое вычитание" a-b это конъюнкция a с инверсией b a^┐b и, соответственно, таблица истинности этой связки: 0010. Спасибо за внимание, я уже решила оставить эту задачу на сессию, пусть преподша сама объяснит. |
Текстовая версия | 29.09.2024 20:01 |