19.01.2010, 13:03
общий
это ответ
Здравствуйте, Евгений [eXill@nD] Малясёв .
Воспользуюсь первой частью ответа предыдущего эксперта...
Утверждения "Аня, Вика и Сергей" пойдут в кино обозначим каждое как A,B,C
1 A-> B&C
2 A≡C
3 C->B
Эти утверждения можно представить в конъюнктивной форме
1) -A ∨ B&C
2) A&C ∨ -A&-C
3) -C∨B
Проверим на истинность следующие выражения: -1 & 2 & 3, 1 & -2 & 3, 1 & 2 & -3
I) -(-A ∨ B&C) & (A&C ∨ -A&-C) & (-C∨B) = (A&-B ∨ A&-C) & (A&C ∨ -A&-C) & (-C∨B) = A&-B&C&(-C∨B) ≡ 0 [$8658$] утверждение ложно
II) (-A ∨ B&C) & -(A&C ∨ -A&-C) & (-C∨B) = (-A ∨ B&C) & (A&-C ∨ -A&C) & (-C∨B) = (-A&C ∨ -A&B&C) & (-C∨B) = -A&C & (-C∨B) = -A&B&C
III) (-A ∨ B&C) & (A&C ∨ -A&-C) & -(-C∨B) = (-A ∨ B&C) & (A&C ∨ -A&-C) & C&-B = (-A&-C ∨ A&B&C) & C&-B ≡ 0 [$8658$] утверждение ложно
Следовательно, ложным было утверждение 2), а в кино пошли Вика и Сергей
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен