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

• конъюнкцию
• импликацию
• инверсию
• эквивалентность
• дизъюнкцию