Условие:
Реши задачу по дискретной математике: Верно ли, что если СДНФ функции 𝑓(𝑥1,…,𝑥𝑛)
, где 𝑛>1
, содержит чётное число <<слагаемых>>, то у 𝑓
есть фиктивные переменные?
Решение:
Рассмотрим утверждение: Если каноническая ДНФ (СДНФ) булевой функции f(x₁,…,xₙ), где n 1, содержит чётное число слагаемых (т.е. элементарных конъюнкций), то у f есть фиктивные переменные. Нужно установить, верно ли оно.
Шаг 1. Понять понятия. Определим сначала понятия: – СДНФ (каноническая дизъюнктивная нормальная форма) функции – это представление функции в виде дизъюнкции (логического «или»)...