Обозначения для логических связок (операций):

a) отрицание (инверсия, логическое НЕ) обозначается (например,А);

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

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

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

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

2. Два логических выражения, содержащих переменные, называются равносильными (эквивалентными), если значения этих выражений совпадают при любых значениях переменных. Так, выражения А -> В и (А) \/ В равносильны, а А \/ В и А /\ В - нет (значения выражений разные, например, при А=1, В=0).

3. Приоритеты логических операций: инверсия (отрицание), конъюнкция (логическое умножение), дизъюнкция (логическое сложение), импликация (следование), эквивалентность (равносильность). Таким образом, А /\ В \/ С/\ D совпадает с ((А)/\ В) \/ (С/\ D). Возможна запись А /\ В /\ С вместо (А /\ В) /\ С. То же относится и к дизъюнкции: возможна запись А \/ В \/ С вместо (А \/ В) \/ С.