Построить СДНФ, сокращенную ДНФ, тупиковые и минимальные ДНФ функции f=(1111001000000011)

Ниже приведём подробное пошаговое решение задачи, где для функции от четырёх переменных (x₁, x₂, x₃, x₄) с таблицей значений   f = (1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1) то есть f равна единице на минтермах:   m₀, m₁, m₂, m₃, m₆, m₁₄, m₁₅ (при условии, что ментерм mᵢ соответствует 4‑битное представление числа i, где старший разряд – x₁, затем x₂, x₃, x₄). Ниже разберём построение:  1) стандартной дизъюнктивной нормальной формы (СДНФ),  2) сокращённой ДНФ,  3) тупиковой ДНФ (то есть представления в виде суммы всех «тупиковых» или простейших импликант – они не могут быть далее расширены)...