Question

Какое логическое выражение равносильно выражению ¬ (A \/ ¬B) /\ C? 1) (¬A/\B)/\C 2) (¬A\/B)/\C 3)(A\/¬B)\/¬C 4) ¬(¬A/\B)/\C

Answer 1

Ответ:

3)(A\/¬B)\/¬C

Объяснение:

Answer 2

Давайте разберем выражение ¬(A / ¬B) /\ C по частям:

1. ¬(A / ¬B) - отрицание дизъюнкции A и отрицания B, что равносильно конъюнкции ¬A и B.
2. /\ C - конъюнкция с C.

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

1. (¬A /\ B) /\ C - это не равносильно исходному выражению.
2. (¬A / B) /\ C - это тоже не равносильно исходному выражению.
3. (A / ¬B) / ¬C - это тоже не равносильно исходному выражению.
4. ¬(¬A /\ B) /\ C - это равносильно исходному выражению.

Таким образом, правильный ответ - 4) ¬(¬A /\ B) /\ C.