Изменения

''Литералом'' является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \vee тупe y <\tex>.