Логическая задача про разбитое окно.

@Витaлиk · Регистрация: 25.10.2011

Студворк — интернет-сервис помощи студентам

Один из тpьox братьев разбил окно.

Витя НЕ разбивал окна, - сказал Толя. Это сделал Коля.

Ну, a ты что скажешь? - Спросила мама Колю.

Окно разбил Витя, - сказал Коля. Толя окна НЕ разбивал.
Я знаю, что Коля не мог этого сделать. А я вообще был в другом месте, сказал Витя.

Оказалось, что двое из братьев только в одном из двух висловлeнь сказали правду, а один сказал правду оба раза.
Кто разбил окно?

@arlat · 30.11.2013, 15:17

Сообщение от Витaлиk

Один из тpьox братьев разбил окно.
Витя НЕ разбивал окна, - сказал Толя. Это сделал Коля.
Ну, a ты что скажешь? - Спросила мама Колю.
Окно разбил Витя, - сказал Коля. Толя окна НЕ разбивал.
Я знаю, что Коля не мог этого сделать. А я вообще был в другом месте, сказал Витя.
Оказалось, что двое из братьев только в одном из двух висловлeнь сказали правду, а один сказал правду оба раза.
Кто разбил окно?

Насчет "только в одном из двух висловлeнь сказали правду" неувязочка, по крайней мере я не смог найти хулигана именно с этим условием. Кроме того это лишняя информация, достаточно, что один сказал правду про хулигана, а остальные могли соврать. Точнее, хулигана нашла Пролог-система, я уже потом расставил, кто как сказал.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
% Витя НЕ разбивал окна, - сказал Толя. Это сделал Коля.
approve(tolya, vitya, no).  % ложь
approve(tolya, kolya, yes). % ложь
% Окно разбил Витя, - сказал Коля. Толя окна НЕ разбивал.
approve(kolya, vitya, yes). % правда
approve(kolya, tolya, no).  % правда
% Я знаю, что Коля не мог этого сделать. А я вообще был в другом месте, сказал Витя.
approve(vitya, kolya, no).  % правда
approve(vitya, vitya, no).  % ложь
 
crash(Crash) :-
    % один из мальчиков правдиво сдал хулигана
    approve(Boy1, Crash, yes),
    % двое других могли соврать
    ( approve(Boy2, Crash, yes) ; approve(Boy2, Crash, no) ),
    ( approve(Boy3, Crash, yes) ; approve(Boy3, Crash, no) ),
    % ситуацию описывали разные мальчики:)
    \+ Boy1 = Boy2, \+ Boy1 = Boy3, \+ Boy2 = Boy3.

?- crash(Crash).
Crash = vitya ;
Crash = vitya ;
false.
Буду рад увидеть другое решение. Вообще, брать текст задачи по математической логике и давай её на Пролог не всегда правильно, особенно, если не решить, а потом на Пролог, а представить для решения Пролог-системе, а потом проверить...

Новые блоги и статьи Все статьи Все блоги /
Загрузка PNG-файла с альфа-каналом с помощью библиотеки SDL3_image на Android 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .
Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом

@Витaлиk 1 / 1 / 0 Регистрация: 25.10.2011 Сообщений: 49

	Логическая задача про разбитое окно. 28.11.2013, 13:29. Показов 4469. Ответов 1 Метки нет (Все метки) Один из тpьox братьев разбил окно. Витя НЕ разбивал окна, - сказал Толя. Это сделал Коля. Ну, a ты что скажешь? - Спросила мама Колю. Окно разбил Витя, - сказал Коля. Толя окна НЕ разбивал. Я знаю, что Коля не мог этого сделать. А я вообще был в другом месте, сказал Витя. Оказалось, что двое из братьев только в одном из двух висловлeнь сказали правду, а один сказал правду оба раза. Кто разбил окно? 0