¿Qué hace el símbolo ¬ en la fórmula ¬P? - Ejercicio de Lógica

¿Qué hace el símbolo ¬ en la fórmula ¬P?

¬P

Invierte el valor de verdad: ¬P es verdadero justo cuando P es falsoHace que la fórmula sea verdadera en todas las filasUne dos fórmulasMarca P como variable