Теорема о тождественной ложности формулы алгебры логики. Для того, чтобы формула алгебры логики была тождественно ложной, необходимо и достаточно, чтобы каждая элементарная конъюнкция её ДНФ содержала по крайней

Для того, чтобы формула алгебры логики была тождественно ложной, необходимо и достаточно, чтобы каждая элементарная конъюнкция её ДНФ содержала по крайней мере одно элементарное переменное высказывание вместе со своим отрицанием.

Доказательство аналогично доказательству предыдущей теоремы.

Формула алгебры логики f называется логическим следствием формул f₁,f₂,…,f_m, если для любых наборов значений переменных, входящих в формулы, f₁,f₂,…,f_m, f для которых истины все формулы f₁,f₂,…,f_m, формула f тоже истина. Обозначение f₁,f₂,…,f_m f.