Что обозначает знак '~' в логических уравнениях ЕГЭ?

Question

[zergon321]

Встречаю этот знак в вариантах 2017-го года, нигде не написано, что он обозначает. Например: (Z ~ Y) v (X v 1). В демо-варианте есть соглашения об обозначениях, но про тильду там не сказано.

Answer 1

[iBird Rose]