Проблема разрешения в алгебре высказываний. Элементарные произведение и суммы. Теорема о тождественной истинности элементарной суммы. Теорема о тождественной ложности элементарного произведения.

   3 группы: 1)тожд. истин.[1] 2)выполним.[1 0] 3)невыполним. [0]. Способы разрешения: 1) постороение таблицы истинности. 2) приведение к норм. ф-м.
   ЭЛЕМЕНТАРНОЙ дизъюнкцией (суммой) называется дизъюнкция (сумма) логических переменных и их отрицаний. пример: A\/B\/(not A)\/(not B). ЭЛЕМЕНТАРНОЙ конъюнкцией (произведением) называется конъюнкция (произведение) логических переменных и их отрицаний. пример: A&B&(not A)&(not B).
   ТЕОРЕМА о тождественной истинности  элемент. суммы: чтобы элементраная сумма была истинной, необходимо чтобы в ней содержалась хотя бы одна пара слагаемых, из которых одно есть некоторая переменная, а другое - ее отрицание.
   ТЕОРЕМА о тождественной ложности элементарного произведения: чтобы элементарное произведение было тождественно ложным необходимо, чтобы в нем содержалось хотя бы одна пара множителей, из которых один является отрицанием другого.