Что означает знак ~ в булевой алгебре?

Answer 1

Зависит от научной школы, моды, типографских ограничений. Может и НЕ (отрицание) может и эквивалентность так и отрицание эквивалентности (сложение по мод 2, хоr, ) . Может и неизвестную операцию в задачах, где её надо "вычислить". Обычно в математике принято явно указывать принятые обозначения отдельно в специальном разделе, бывает, что ясно из контекста или по тексту вводится.