Алгебра логики является одним из разделов математики. Древнегреческий ученый Аристотель (384 - 322 гг. до нашей эры), основатель философской школы в Афинах, проводя время в спорах и рассуждениях со своими учениками, положил начало целой науки - логики. Но философский аспект этой науки однажды был фактически оцифрован английским математиком Джорджем Булем (1815 - 1864). Д.Буль не имел математического образования, но это не помешало ему стать профессором математики в Куинс-колледже (Исландия). Высказывания превратились в логические переменные, рассуждения - в логические выражения, а логика стала алгеброй логики.
Не владея в полном объеме инструментами алгебры логики, попытайтесь перевоплотиться в логика времен Аристотеля и решить логическую задачу методом рассуждений.
Задача:
Представьте, что вы попали в плен к дикарям и были заключены в темницу, имеющую два выхода. Вождь дикарей предложил вам следующий шанс на спасение: «Один выход ведет на верную смерть, другой – на свободу. Ты можешь выбрать любой. Сделать выбор тебе помогут два моих воина. Они ответят «да» или «нет» на один твой вопрос – любой, какой ты пожелаешь им задать. Но один из моих воинов всегда говорит правду, а другой – всегда лжет». Вы должны задать всего один вопрос, после чего сможете безошибочно выбрать выход, ведущий на свободу. Какой вопрос вы зададите?