nod032

Буду рад, если кто-то алгоритм решения сможет реализовать с помощью предикатов, и отправит его сюда;)

3. Во вторник говорит правду, т.к. первое утверждение сделано в воскресенье (так и не понял как логическим языком описать, поэтому воскресеньее нашел подбором), и оно ложное, следовательно либо в понедельник, либо во вторник он говорит правду. Второе утверждение ложь, так как следующий день это понедельник. Третье, сделанное во вторник, правда, он врет по средам и пятницам