6. Тип 6 № 694 i Заполните таблицу истинности выражения: ¬(AvB) v (AΛB). A B 0 0 0 1 1 0 1 1

Решение:

Разбираемся: нужно заполнить таблицу истинности для выражения ¬(AvB) v (AΛB).

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

• а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬A);
• б) конъюнкция (логическое умножение, логическое И) обозначается Λ (например, AΛB);
• в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается v (например, AvB).

Заполним таблицу истинности:

Ответ: смотри таблицу выше.

Проверка за 10 секунд: Заполнили таблицу истинности, используя логические операции.

Редфлаг: Помни порядок выполнения логических операций: сначала отрицание, потом конъюнкция, потом дизъюнкция.