Восстановить логическое выражение по таблице истинности, используя минимальное количество переменных и минимальное количество операций. Логическое выражение может содержать только операции инверсии, конъюнкции и дизъюнкции.
Напишем СКНФ для данной функции: (¬AvBvC)∧(¬Av¬BvC): по законам булевой логики после раскрытия скобок получаем ¬AvC.
