Что обозначают знаки ¬ и ∨ и ∧ в формулах по информатике? просто в еге вижу это, а в школе ни единого разу с таким не сталкивался .

Это знаки для обозначения логических операций:
a) отрицание
(инверсия, логическое НЕ) обозначается ¬ (например, ¬А);

b) конъюкция
логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);

c) дизъюнкция
(логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);

вдруг пригодится, есть еще такие знаки:

d) следование
(импликация) обозначается → (например, А → В);

e) тождество
обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);

f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).