Модераторы: Poseidon
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> логика... "тавталогии" 
:(
    Опции темы
En_t_end
Дата 16.2.2006, 16:12 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Участник Клуба
Сообщений: 2074
Регистрация: 4.12.2004

Репутация: 2
Всего: 20



Вот такое задание:
Тождественно истинными(тавталогиями) являются логические формулы(в ответе несколько вариантов):
1. (А==С)->(A+!(BC))
2. (AC)->(A+(B==C))
3. (A+C)->(!(B+C)->A)
4. (A+C)->(A+!(BC))
5. (AC)->(B+(A mod2 C))

Вопрос №1. Тавталогии должны быть либо всегда истинными, либо всегда ложны ?
Вопрос №2. Если ответ на вопрос№1 "да", то тогда верно ли, что:
Можно рассмотреть лишь вторые аргументы у каждой формулы, ибо импликация всегда истинна, когда второй аргумент - истинна + случай, когда ложны оба аргумента.
То есть, нужно проверить те случаи, когда второй аргумент обращается в ложь. Если это происходит, а первый аргумент при этом условии - истинна, то тогда - это не тавталогия.

Я подошел к решению двумя путями...
1. Составление таблицы истинности с тремя логическими переменными. До конца не дошел - бросил на пол-пути, 5 переборов 8 раз - слишком муторно...
2. Попытался предположить, что ответ на вопрос№2 - "да", а раз в ответе нужно указать несколько вариантов, значит нужно найти тождественные части формул(вторые аргументы импликации) у разных вариантов. Получается, что ОТВЕТ: 1), 4).

Пожалуйста, подскажите, как здесь действовать без составления таблицы истинности.

Это сообщение отредактировал(а) En_t_end - 16.2.2006, 16:32
PM MAIL ICQ Skype GTalk Jabber   Вверх
Fixin
Дата 16.2.2006, 16:21 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Ёжик
***


Профиль
Группа: Комодератор
Сообщений: 1357
Регистрация: 6.1.2004

Репутация: 5
Всего: 18



Ты и правда маньяк.
PM MAIL ICQ   Вверх
En_t_end
Дата 16.2.2006, 16:40 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Участник Клуба
Сообщений: 2074
Регистрация: 4.12.2004

Репутация: 2
Всего: 20



Fixin,
Цитата(Fixin @ 16.2.2006, 20:21 Найти цитируемый пост)
Ты и правда маньяк.

Жаль что не в логике...
PM MAIL ICQ Skype GTalk Jabber   Вверх
En_t_end
Дата 16.2.2006, 17:59 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Участник Клуба
Сообщений: 2074
Регистрация: 4.12.2004

Репутация: 2
Всего: 20



Сделал таблицей - ответ - 1),2),3) smile мда... похоже подход тут только один - таблица.
PM MAIL ICQ Skype GTalk Jabber   Вверх
  
Ответ в темуСоздание новой темы Создание опроса
Правила форума "Центр помощи"

ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Несоблюдение правил может повлечь за собой самые строгие меры от закрытия/удаления темы до бана пользователя!


  • Название темы должно отражать её суть! (Не следует добавлять туда слова "помогите", "срочно" и т.п.)
  • При создании темы, первым делом в квадратных скобках укажите область, из которой исходит вопрос (язык, дисциплина, диплом). Пример: [C++].
  • В названии темы не нужно указывать происхождение задачи (например "школьная задача", "задача из учебника" и т.п.), не нужно указывать ее сложность ("простая задача", "легкий вопрос" и т.п.). Все это можно писать в тексте самой задачи.
  • Если Вы ошиблись при вводе названия темы, отправьте письмо любому из модераторов раздела (через личные сообщения или report).
  • Для подсветки кода пользуйтесь тегами [code][/code] (выделяйте код и нажимаете на кнопку "Код"). Не забывайте выбирать при этом соответствующий язык.
  • Помните: один топик - один вопрос!
  • В данном разделе запрещено поднимать темы, т.е. при отсутствии ответов на Ваш вопрос добавлять новые ответы к теме, тем самым поднимая тему на верх списка.
  • Если вы хотите, чтобы вашу проблему решили при помощи определенного алгоритма, то не забудьте описать его!
  • Если вопрос решён, то воспользуйтесь ссылкой "Пометить как решённый", которая находится под кнопками создания темы или специальным флажком при ответе.

Более подробно с правилами данного раздела Вы можете ознакомится в этой теме.

Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman

 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Центр помощи | Следующая тема »


 




[ Время генерации скрипта: 0.2890 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.