Вот, например, не головоломка, а логическая задачка.
Вчера попалась и решил заморочить условие задачи (чтобы хоть не выписывая на листочке, если кто знает - какие методы есть: что и как выписывать, чтобы, так сказать, Смекалкиным-переборщикам тяжко было решать).
Цитата:
Задача о трех шкатулках (по комедии Шекспира «Венецианский купец») - золотой, серебряной и свинцовой- с различными надписями, которую Порция предлагает своим поклонникам. Портрет Порции находится лишь в одной шкатулке, и если поклонник правильно угадает шкатулку с портретом, то Порция отдаст ему свою руку и сердце. «С кем пойду я под венец? С тем, кто будет молодец».
Порция, которая никогда не лжет, объясняет своим поклонникам, что истинна, самое большее, одна надпись.
Какую шкатулку следует выбрать?
Заморочил возможным вариантом условие задачи:
добавляем еще шкатулку урановую
и на ней надпись "Портрет в урановой или в свинцовой".
Тогда представляя под булевую алгебру, задав
a = true = "портрет в золотой"
b = true = "портрет в серебряной"
c = true = "портрет в свинцовой"
d = true = "портрет в урановой",
надписи на шкатулках: a, НЕb, НЕa, dVc.
Тогда, если "истинна, самое большее, одна надпись", то:
PS Ответ - вторая строчка. Все остальные строчки - только FALSE.