6. Если вы начнете решать эту задачу перебором, то вам придется рассмотреть 16 случаев (Четыре возможности для мужа, и для каждого из этих 4 вариантов еще 4 для жены ) К счастью, есть более простой подход. Прежде всего, поскольку один из супругов спит, а другой бодрствует, и, кроме того, поскольку их суждения прямо противоположны, то они непременно должны принадлежать к одному и тому же типу (то есть оба они одновременно должны относиться либо к дневному либо к ночному типу). В самом деле, если бы они принадлежали к разным типам, то их суждения оказались бы прямо противоположными в случае, если бы они оба спали или оба бодрствовали, и совпали бы в случае, если бы один из них спал, а другой бодрствовал. Но поскольку мнения супругов, когда один из них спит, а другой бодрствует, не совпадают, то, значит, они должны принадлежать к одному типу.
   Предположим поначалу, что оба они относятся к ночному типу. Тогда мнение мужа в тот момент было правильным, и, поскольку он относится к ночному типу, то, понятно, он должен был находиться во сне. Допустим теперь, что оба супруга принадлежат к дневному типу. Тогда очевидно, что муж ошибался, полагая, будто и он, и жена относятся к ночному типу, но поскольку он, согласно условию, принадлежит к дневному типу и к тому же мнение его ошибочно, то он в это время должен был находиться во сне. Итак, независимо от того, к какому типу относятся оба супруга, муж в тот момент должен был спать, а жена - бодрствовать.