|
Комплекс задач АСУ разработали 5 программистов A,S,L,T,C. В процессе опытной эксплуатации выяснилось, что один из блоков работатет неверно. На вопрос, кто какой блок разрабатывал, были даны ответы: 1)A-3, C-5 2)C-1, A-2 3)S-2, T-4 4)T-4, L-1 5)S-2, L-3 В каждом ответе 1 часть верна, другая неверна Выяснить кто какой блок делал (Не удаляйте этот вопрос, так как тут добавлены данные относительно предыдущего, а тот можете удалить http://math.hashcode.ru/questions/16214/) задан 23 Апр '13 18:43 
Про |
|
Теперь условие понятно. Я буду использовать символику. Предположим, что T4 ложно. Тогда из пунктов 3 и 4 заключаем, что истинны S2 и L1. Смотрим на пункт 2 и видим, что ни C1, ни A2 при этом истинными быть не могут, что противоречит условию. Тем самым, T4 истинно. Тогда ложно как S2, так и L1. Согласно пункту 5, истинно L3. Тогда в пункте 1 не может быть истинным A3, то есть истинно C5. В пункте 2 ложным будет C1, то есть A2 истинно. Из четырёх известных нам истинных утверждений T4, L3, C5, A2 восстанавливаем пятое истинное -- это S1. То есть ASLCT (по порядку) делали блоки 21354. отвечен 23 Апр '13 18:45 
falcao |
Ответ из предыдущего обсуждения я перенёс сюда. Теперь можно удалять тот "дубликат" вопроса.