Какую операцию на формальном языке алгебры высказываний принято обозначать значком «¬» либо чертой над логической переменной?