Выберите верное выражение для формализации решения задачи.

Рассмотрим условие задачи: каждый из ребят прав только в одном из своих предположений. Это означает, что выражение должно учитывать утверждения, в которых выполняются ограничения по единственности истинности. Анализируя предложенные логические формулы, правильным вариантом будет тот, который соответствует условиям задачи. Подходящий вариант: (A и B или ¬A и C) и (A и D или ¬A и ¬D).