Es una función unaria que invierte el valor lógico de su argumento, por lo que también se llama función "NOT", del inglés "no".