Вариант 19.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{AC, AB, CB}  ABBC.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{C, (AB)(CA)}  A.

3. Проверьте методом свёртки, верно ли логическое следствие

{CA, BC, BD, DA}  A.

4. Проверьте методом резолюций, верно ли логическое следствие

{A(BC), C(BA), AD}  (AB)D.

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{DE, EC, AD, BC}  AB.

Вариант 20.

1. Проверьте с помощью алгоритма Куайна, верно ли логическое следствие

{C(AB), D(BC)}  ABD.

2. Проверьте алгебраическим методом, верно ли логическое следствие

{A, BC}  BABC.

3. Проверьте методом свёртки, верно ли логическое следствие

{(AC)AB}  AB.

4. Проверьте методом резолюций, верно ли логическое следствие

{C(BA), CD, DB, BD}  (DC)A.

5. Проверьте методом аналитических таблиц, верно ли логическое следствие

{AD, BE, DC, DC}  ACDEB.