Для того, чтобы формула алгебры логики была тождественно ложной, необходимо и достаточно, чтобы каждая элементарная конъюнкция её ДНФ содержала по крайней мере одно элементарное переменное высказывание вместе со своим отрицанием.
Доказательство аналогично доказательству предыдущей теоремы.
Формула алгебры логики f называется логическим следствиемформулf1,f2,…,fm,если для любых наборов значений переменных, входящих в формулы, f1,f2,…,fm,f для которых истины все формулыf1,f2,…,fm,формула f тоже истина. Обозначение f1,f2,…,fmf.