Question

Какое логическое выражение равносильно выражению НЕ(НЕА V НЕВ) /\ C?

Answer 1

Используя закон Де-Моргана и двойного дополнения получаем
-(-Av-B)^C = --(A^B)^C = A^B^C
Жаль редактор формул не поддерживает работу с множествами.

Answer 2

Давайте разберем это логическое выражение по шагам:

1. НЕ(НЕА V НЕВ): Это выражение начинается с логического оператора "НЕ" перед всей скобкой. Это означает, что мы инвертируем результат всего выражения внутри скобок.

1.1. НЕА V НЕВ: Внутри скобок у нас есть логическое "ИЛИ" двух условий. Это означает, что выражение будет истинным, если хотя бы одно из условий истинно.

1.1.1. НЕА: Это инверсия значения А.

1.1.2. НЕВ: Это инверсия значения В.

1.2. Теперь мы возвращаемся к внешнему "НЕ", инвертируем результат (то есть инвертируем "ИЛИ").

2. /\ C: Здесь используется логический оператор "И" с переменной C.

Теперь давайте объединим все вместе:

Выражение НЕ(НЕА V НЕВ) /\ C равносильно выражению: (А И B) /\ C

Таким образом, исходное выражение равносильно выражению "А и В, и при этом C".