В работе используются следующие соглашения. Обозначения для логических операций: a) отрицание (инверсия, логическое НЕ) обозначается ... (например, ¬A); b) конъюнкция (логическое умножение, логическое И) обозначается ... (например, A ∧ B); c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ... (например, A ∨ B).