отображение множества логических переменных в множество логических значений.