...

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

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

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

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

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

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

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