Снова не понял. Первые два следствия - "Х может принимать значение true" и "Х может принимать значение true, Y может принимать значение true" Всё это верные утверждения - по условию Джон может урдеть, и мурдеть тоже может. А одновременность - это уже третье условие.