(1) ИЗВЕСТНО среди двух соседей каждого лжеца есть ровно один лжец, это значит, что лжецысидят только парами лжец-лжец (лл) а справа и слева только правдолюбы п, и это условие !,
вот так: п(лл)п
12 гномов показали, что ровно один из их соседей лжец (или только слева или только справа), вот так: л(пп)л, отсюда видно, что если бы вместо (пп) было (лп) или (пл) вот так: л(лп)л или л(пл)л, то лжец сказал бы правду, чего не может быть. Не может быть и такого л(лл)л, так как противоречит условию (1).
(2) Вывод: как минимум, 12 гномов правдолюбы (максимум 6 пар) и 12 лжецы (минимум 6 пар):
пп (лл) пп (лл) пп (лл) пп (лл) пп (лл) пп (лл) + 6 гномов
12 + 12 = 24 гнома
30 - 24 = 6 гномов осталось
Из условия (1) следует, что лжецы сидят только парами, рассадим 6 гномов:
п(лл)п(лл) 4 лжеца и 2 правдолюба , другие варианты ((п) , (пп), (л), (лллл) и т. п.) не подойдут, вытекает из (1) и вывода (2).
Получается:
Правдолюбы 12 +2 = 14
Лжецы 12 +4 = 16
пп (лл) пп (лл) пп (лл) пп (лл) пп (лл) пп (лл) п (лл) п (лл)
18 сказали, что оба соседа лжецы (и слева и справа),
вот так:
л(п)л
Это означает, что 16 гномов (лжецы) из 18 - ти сказали не правду,
а 2 гнома сказали правду.
Ответ: 16 лжецовсидит за столом