Восстановить логическое выражение по таблице истинности, используя минимальное количество переменных и минимальное количество операций. Логическое выражение может содержать только операции инверсии, конъюнкции и дизъюнкции.

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