Знаком «¬» в логике обозначается следующая операция:

• Инверсия
• Конъюнкция
• Дизъюнкция
• Импликация