Ответ в теме: Логическая задача: предвыборная дискуссия

      Комментарии к записи Ответ в теме: Логическая задача: предвыборная дискуссия отключены
#2785

Далее нужно наложить на решения ограничения. В задаче сказано, что каждый братья проголосовали за разных кандидатов. Чтобы осуществить такую проверку можно поместить кандидатов в список и применить к нему функцию unique, но можно решить следующим образом:

NOT(PerCandidate = ZanCandidate), 
NOT(PerCandidate = ZakCandidate), 
NOT(ZanCandidate = ZakCandidate).

Т.е. мы требуем, чтобы кандидат Пьера отличался от кандидатов Жана и Жака, которые тоже должны быть различны. Теперь интерпретатор вернет нам всего 6 решений.