Что делает символ ¬ в формуле ¬P? - Логическое упражнение

Что делает символ ¬ в формуле ¬P?

¬P

Меняет истинностное значение: ¬P истинно ровно тогда, когда P ложноДелает формулу истинной в каждой строкеСвязывает две формулыПомечает P как переменную