Это знаки для обозначения логических операций:
a) отрицание
(инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция
логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);
c) дизъюнкция
(логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование
(импликация) обозначается → (например, А → В);
e) тождество
обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).