Сообщение от Димыч

Про "Марс" - это отдельная история. Я ж сразу сказал, что это непростой вопрос. Сначала хотел согласиться, что утверждение верно, потому передумал, т.к. верно также и обратное утверждение, а это значит, что мы имеем классическую неопределенность.
А вот с точки зрения крокодилов и королевы - тут всё просто. Это независимые события поэтому применять к ним булевскую логику и любой другой математический аппарат бессмысленно.