(AvBvC)^(¬Av¬Bv¬C) как это решить?

Question

(AvBvC)^(¬Av¬Bv¬C) как это решить?

Answer 1

Используем правила деМоргана и др:
=(А+В+С)•~А•~В•~С=А•~А•~В•~С+~А•В•~В•~С+~А•~•ѕ~С=0
(А•~А=0 и т.п)