Символы и обозначения логических переменных