4.6 Примеры перевода с естественного языка на логический и обратно