Question

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

Answer 1

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