Основы логики: переменные и константы