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