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