If all we know about some disjunction is that it is true overall, we cannot be sure that either of its disjuncts is true.
В случае 2-х переменных результат выполнения операции является истинным тогда и только тогда, когда лишь один из аргументов является истинным.