Одного из близнецов зовут Ваня, другого – Витя. Один из братьев всегда говорит правду, а другой всегда лжет. Можно задать один вопрос одному из братьев, на который тот ответит "да" или "нет". Выясните, кого из близнецов как зовут. 
Зададим вопрос: "Верно ли, что ты либо Ваня-правдивец, либо Витя-лжец?". Легко проверить, что Ваня должен ответить "да", а Витя – "нет". 
Математическая логика (прочее)