что означает этот знак в логике ~ (информатика) это плюс или умножение?

Не плюс и не умножение, это эквивалентность
Отношение эквивалентности (~) на множестве X — это бинарное отношение, для которого выполнены следующие условия:
1.Рефлексивность: a ~ a для любого a в X,
2.Симметричность: если a ~ b, то b ~ a,
3.Транзитивность: если a ~ b и b ~ c, то a ~ c