Чтобы определить, какое логическое выражение равносильно выражению ¬(A∨¬B∨¬C), необходимо применить законы логики и преобразовать исходное выражение.
Исходное выражение: ¬(A ∨ ¬B ∨ ¬C)
Применим закон де Моргана, который гласит, что отрицание дизъюнкции эквивалентно конъюнкции отрицаний:
¬(A ∨ ¬B ∨ ¬C) = ¬A ∧ ¬(¬B ∨ ¬C)
Применим закон де Моргана к выражению ¬(¬B ∨ ¬C):
¬(¬B ∨ ¬C) = ¬¬B ∧ ¬¬C = B ∧ C
Таким образом, исходное выражение преобразуется в следующее:
¬A ∧ (B ∧ C)
Теперь сравним это выражение с предложенными вариантами:
1) ¬А ∧ ¬(B ∨ C)
Это выражение не эквивалентно исходному, так как ¬(B ∨ C) = ¬B ∧ ¬C, а не B ∧ C.
2) А ∧ (¬B ∧ ¬C)
Это выражение также не эквивалентно исходному, так как здесь присутствует A, а не ¬A.
3) (А ∧ B) ∨ ¬C
Это выражение тоже не эквивалентно исходному, так как включает дизъюнкцию (∨), а не конъюнкцию (∧).
4) ¬А ∧ (B ∧ C)
Это выражение эквивалентно исходному выражению, поскольку оно соответствует преобразованному выражению.
Следовательно, правильный ответ — это вариант 4: ¬А ∧ (B ∧ C).