Решить следующую , используя методы логики высказываний: ) в школе, перешедшей на самообслуживание, четырем старшекласс¬никам: андрееву, костину, савельеву и давыдову поручили убрать 7-й , 8-й, 9-й и 10-й классы. при проверке оказалось, что 10-й класс убран плохо. не ушедшие домой ученики сообщили о следующем: 1) андреев: «я убирал 9-й класс, а савельев – 7-й» 2) костин: «я убирал 9-й класс, а андреев – 8-й». 3) савельев: «я убирал 8-й класс, а костин – 10-й». давыдов уже ушел домой. в дальнейшем выяснилось, что каждый ученик в одном из двух высказываний говорил правду, а во втором ложь. какой класс убирал каждый ученик?

андреев сказал : убирал 9кл, савельвев - 7

костин сказал: убирал 9 кл., андреев - 8

савельев сказал: убирал 8кл, костин - 10допустим, что андреев сказал правду, что убирал 9 кл, тогда савельев не убирал 7кл.

костин убирал 9 кл. - неправда, т.к. андреев убирал 9кл, значит андреев убирал 8 класс.

пришли к противоречию, андреев не мог убирать 9 и 8 кл.следовательно, допущение, что  андреев сказал правду, что убирал 9 кл - неверно.

следовательно, правда то, что андреев не убирал 9кл. зачит савельев убирал 7 кл.  рассмотрим высказывание костина. андреев убирал 8 кл - неверно, т.к. андреев убирал 9кл. значит верно то, что костин убирал 9 кл.в высказывании савельева неправда то, что костин убирал 10 класс, значит савельев убирал 8 кл - правдаостается только то, что давыдов убирал 10 кл, что можно было предположить, потому что он ушел домой раньше всех)

=========================================================