Представление логических функций булевыми формулами

Представить логическую функцию булевой формулой - это значит представить f в виде формулы через отрицание, конъюнкцию и дизъюнкцию.

Если , то - СДНФ, т.е. булевой формулой для f(x₁,…,x_n) может служить ее СДНФ.

Если же f(x₁,…,x_n)º 0, то f(x₁,…,x_n) = x₁.

Сформулируем изложенные результаты в виде теоремы: Всякая логическая функция может быть представлена булевой формулой.