Логическое выражение ¬ (¬A\/¬B)/\C равносильно …

Question

Логическое выражение ¬ (¬A\/¬B)/\C равносильно …

Answer 1

В первую очередь применим отрицание, вторым шагом уберем скобки:



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