Як називається рисочка зверху?

Логічне заперечення. Також називається логічним "НЕ". Символи: ¬, !, або верхнє підкреслення над змінною.