В работе используются следующие соглашения: Обозначения для логических операций в) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А); b) коньюнкция (логическое умножение, логическое И) обозначается ʌ (например, АʌВ); с) дипьюнкция (логическое сложение, логическое ИЛИ) обозначается v (например, AvB).