Таллинн - это Таллин (с одним "н"), который Ревель, а тот - Колывань. По закону транзитивности Таллинн - это Колывань. Джордж Буль (булева алгебра математической логики) врать не будет.