2B V ~2B = ? В 1601 г эту проблему поставил один англичанин, а мы только сформулировали её в современных терминах математической логики. Кто был её автор?