Изменения
→Формулировка и доказательство критерия
# Присутствует член <tex>~1</tex>. Возьмем отрицание от <tex>f_l</tex> и член <tex>~1</tex> уберется.
# Присутствуют 3 члена, без <tex>~1</tex>: <tex>f_l = x_1 \land x_2 \oplus x_1 \oplus x_2</tex>. Составив таблицу истинности для этой функции, нетрудно заметить, что она эквивалентна функции '''ИЛИ'''.
# Присутствуют 2 члена, без <tex>~1</tex>. Посторив Построив две таблицы истинности, для двух различных вариантов, видим, что в обоих случаях функция истинна только в одной точке, следовательно, СДНФ будет состоять только из одного члена, а если это так, то не составляет труда выразить '''И''', через '''НЕ''' и <tex>f_l</tex>.
# Присутствует 1 член. Выразим '''И''', через '''НЕ''' и <tex>f_l</tex>.
