![]() |
|
Модераторы: Poseidon |
![]()
|
|
| En_t_end |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Участник Клуба Сообщений: 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 |
|||
|
||||
| Fixin |
|
|||
![]() Ёжик ![]() ![]() ![]() Профиль Группа: Комодератор Сообщений: 1357 Регистрация: 6.1.2004 Репутация: 5 Всего: 18 |
Ты и правда маньяк.
|
|||
|
||||
| En_t_end |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Участник Клуба Сообщений: 2074 Регистрация: 4.12.2004 Репутация: 2 Всего: 20 |
||||
|
||||
| En_t_end |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Участник Клуба Сообщений: 2074 Регистрация: 4.12.2004 Репутация: 2 Всего: 20 |
Сделал таблицей - ответ - 1),2),3)
|
|||
|
||||
![]()
|
| Правила форума "Центр помощи" | |
|
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
| 0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Центр помощи | Следующая тема » |
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |