--- db/baza/nsk.txt 2002/01/07 08:47:09 1.5 +++ db/baza/nsk.txt 2002/01/12 22:11:54 1.6 @@ -2190,7 +2190,7 @@ Lloyd's". Как оно возникло? Источник: М.Гарднер. Крестики-нолики. М, Мир, 1988, с.116 -Вопрос 173. +Вопрос 173: 2B V ~2B = ? В 1601 г эту проблему поставил один англичанин, а мы только сформулировали ее в современных терминах математической логики. Кто был ее автор?