Дано выражение ¬ (¬ а ∨ b), где а и b - логические величины. При выполнении какого из следующих логических высказываний данное выражение будет истинным? 1) а и b имеют значение ЛОЖЬ 2
2) a и b имеют значение ИСТИНА
3) ни а, ни b не имеют значение ЛОЖЬ
4) а имеет значение ЛОЖЬ, b -ИСТИНА
5) а имеет значение ИСТИНА, b– ЛОЖЬ

Начнем с разбора данного логического выражения: ¬ (¬ а ∨ b).
Оператор ¬ (НЕ) инвертирует значение следующего за ним выражения.
Таким образом, внутри скобок у нас есть выражение ¬ а ∨ b, где оператор ¬ инвертирует переменную а, а затем выполняется операция логического сложения (ИЛИ) с переменной b.

Рассмотрим каждое из предложенных логических высказываний и подставим в них значения переменных а и b:

1) а и b имеют значение ЛОЖЬ:
Пусть а = ЛОЖЬ и b = ЛОЖЬ.
Тогда внутри скобок получаем: ¬(¬ ЛОЖЬ ∨ ЛОЖЬ).
Заменяем ¬ ЛОЖЬ на ИСТИНА: ¬(ИСТИНА ∨ ЛОЖЬ).
Выполняем операцию логического сложения: ¬(ИСТИНА) = ЛОЖЬ.
Конечный результат выражения будет ЛОЖЬ.

2) а и b имеют значение ИСТИНА:
Пусть а = ИСТИНА и b = ИСТИНА.
Тогда внутри скобок получаем: ¬(¬ ИСТИНА ∨ ИСТИНА).
Заменяем ¬ ИСТИНА на ЛОЖЬ: ¬(ЛОЖЬ ∨ ИСТИНА).
Выполняем операцию логического сложения: ¬(ИСТИНА) = ЛОЖЬ.
Конечный результат выражения будет ЛОЖЬ.

3) ни а, ни b не имеют значение ЛОЖЬ:
Данное утверждение противоречиво, так как логические переменные могут принимать только два значения: ИСТИНА или ЛОЖЬ. Поэтому конечный результат выражения будет ЛОЖЬ.

4) а имеет значение ЛОЖЬ, b - ИСТИНА:
Пусть а = ЛОЖЬ и b = ИСТИНА.
Тогда внутри скобок получаем: ¬(¬ ЛОЖЬ ∨ ИСТИНА).
Заменяем ¬ ЛОЖЬ на ИСТИНА: ¬(ИСТИНА ∨ ИСТИНА).
Выполняем операцию логического сложения: ¬(ИСТИНА) = ЛОЖЬ.
Конечный результат выражения будет ЛОЖЬ.

5) а имеет значение ИСТИНА, b – ЛОЖЬ:
Пусть а = ИСТИНА и b = ЛОЖЬ.
Тогда внутри скобок получаем: ¬(¬ ИСТИНА ∨ ЛОЖЬ).
Заменяем ¬ ИСТИНА на ЛОЖЬ: ¬(ЛОЖЬ ∨ ЛОЖЬ).
Выполняем операцию логического сложения: ¬(ЛОЖЬ) = ИСТИНА.
Конечный результат выражения будет ИСТИНА.

Итак, ответ на данный вопрос состоит в том, что данное выражение будет истинным при выполнении утверждения:
а имеет значение ИСТИНА, b – ЛОЖЬ.