Список голосов Thank You

[Sirion]

Какое логическое выражение равносильно выражению ¬ (¬A \/ ¬B) /\ C
        a. (¬A /\ ¬B) \/ ¬C   
   b. A /\ B /\ C   
   c. (A \/ B) /\ C   
   d. ¬A \/ B \/ ¬C

тут можно решать двумя способами
можно составить для всех функций таблицы истинности и сравнить (функции с одинаковыми таблицами истинности равносильны)
однако удобнее воспользоваться одной из формул преобразования логических выражений, а именно -
¬(A \/ B) = ¬A /\ ¬B

применим её к левой части нашего выражения

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

отрицание отрицания, как и в русском языке, в логике означает утверждение, поэтому ¬¬A /\ ¬¬B = A /\ B

отсюда ¬ (¬A \/ ¬B) /\ C = A /\ B /\ C