Цитата(Fixin @ 16.2.2006, 20:21  ) |
| Ты и правда маньяк. |
Жаль что не в логике...
| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > логика... "тавталогии" |
| Автор: En_t_end 16.2.2006, 16:12 |
| Вот такое задание: Тождественно истинными(тавталогиями) являются логические формулы(в ответе несколько вариантов): 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). Пожалуйста, подскажите, как здесь действовать без составления таблицы истинности. |
| Автор: Fixin 16.2.2006, 16:21 |
| Ты и правда маньяк. |
| Автор: En_t_end 16.2.2006, 16:40 | ||
Fixin,
Жаль что не в логике... |
| Автор: En_t_end 16.2.2006, 17:59 |
Сделал таблицей - ответ - 1),2),3)  мда... похоже подход тут только один - таблица. |