Question

Какое ло­ги­че­ское вы­ра­же­ние рав­но­силь­но вы­ра­же­нию ¬ (¬A \/ ¬B)\/ ¬C​

Answer 1

Решение на фото. Ответ подчёркнут красным.

Добавил ещё таблицы истинности изначальной функции и результата, чтобы доказать/проверить равносильность.

Answer 2

Для нахождения логического выражения, равносильного данному, мы можем воспользоваться законами де Моргана и законом двойного отрицания. Исходное выражение выглядит следующим образом:

¬ (¬A / ¬B) / ¬C

Сначала применим закон двойного отрицания:

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

Теперь применим закон де Моргана к (A /\ B):

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

Теперь, используя закон двойного отрицания, мы получаем окончательное выражение:

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

Таким образом, логическое выражение, равносильное исходному, это ¬(¬(A /\ B) /\ C).