Дальтоник сказал ложь. В бинарной логике вообще не важно, кто там что про себя считает. Важно, что лжец не может произносить истинные высказывания, а может только ложные; а правдивец не может произносить ложные, а может только истинные.
А кто из них дальтоник? Каждый ведь сказал то, что увидел, а значит, сказал правду.
К тому же, есть расхожее выражение: "хочешь солгать - скажи правду". Бинарная логика этого не ловит, а потому зачастую сама по себе оказывается ложной по своим выводам.
Именно поэтому классическая физика, в отличие от ревизионистов, опирается не на утверждения/постулаты, а на независимый и многократно повторённый при заданных условиях эксперимент. Причём, для опровержения достаточно одного отрицательного надёжного результата, а для подтверждения требуется полный консенсус.
Смысл разбирать логику в задачках, в которых истинность заложена в самом условии, что лжец обязан только лгать, а правдивец обязан только говорить правду? Тем более, верить утверждениям, что кто-то сказал, мол, один из них лжец. В зависимости от дополнительных условий это мог сказать и правдивец, и лжец. Такой однозначности без дополнительных уточнений никогда и нигде не бывает, учитывая и то, что лжецы любят "косить" под правду, искажая её в нужным им местам, а правдивцы могут и ошибаться, будучи искренно уверенными в своей правоте. Ведь каждому хочется быть правым порой до больных амбиций и уязвлённого гонора, для чего зачастую используется принцип: "все методы хороши". И если у правдивцев в основу положены аргументы, пусть и неприятные, грубые, неудобные точные решения, разрушающие шалашики других авторов, то у лжецов только каша по тарелке, огульные обвинения и полная неразборчивость в средствах охаивания.
Такова жизнь. Такова и логика.