XOR
Нет, там логически верно только второе утверждение.
Первое логически неверно, так как вывод не следует из условий задачи.

А, ну да, разве что ради подсчёта.