Критерии тождественной истинности и ложности формул алгебры высказываний.

   КРИТЕРИЙ ТОЖДЕСТВЕННОЙ ИСТИННОСТИ формул АВ: Для того, чтобы формула была тождественно истинной, необходимо и достаточно, чтобы каждый множитель ее КНФ имел по крайней мере два слагаемых, из которых одно является какой-нибудь переменной, а другое – ее отрицанием. пример: (X\/(not X))&(Y\/Z\/W\/(not Z)).
   КРИТЕРИЙ ТОЖДЕСТВЕННОЙ ЛОЖНОСТИ формул АВ: Для того, чтобы формула была тождественно ложной, необходимо и достаточно, чтобы каждое слагаемое ее ДНФ имел по крайней мере два множителя, из которых один является какой-нибудь переменной, а другой – ее отрицанием. пример: (X&(not X))\/(Y&Z&W&(not Y))