Соглашения

В заданиях используются следующие соглашения.

1. Обозначения для логических связок (операций): a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А); b) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В) либо & (например, А & В); c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В) либо | (например, А | В); d) импликация (следование) обозначается → (например, А → В); e) тождество обозначается ≡ (например, А ≡ В); f) логическая 1 обозначает истину (верно), логическая 0 — ложь (неверно).
2. Два логических выражения, содержащие переменные, называются равносильными (эквивалентными), если значения этих выражений совпадают при любых значениях переменных.
3. Приоритеты логических операций: инверсия, конъюнкция, дизъюнкция, импликация, тождество.
4. Обозначения Мбайт и Кбайт используются в традиционном для информатики смысле.